實際標準ML規範是The Definition of Standard ML (Revised) ,它們僅在MITPress上以打印版本形式提供。StandardML 97 definition
它是否提供電子格式(pdf,ps,即)?
實際標準ML規範是The Definition of Standard ML (Revised) ,它們僅在MITPress上以打印版本形式提供。StandardML 97 definition
它是否提供電子格式(pdf,ps,即)?
第
我認爲這是一個錯誤。語言的規範應該是免費的。否則,您會自動限制對其感興趣的人數。公平的說,SML的定義是非常好的工作 - 並且比其他任何語言都更具包容性。規範。它可能也花了很多時間來寫!
定義最近由MIT出版社和the source is on Github提供,包括如何編譯PDF的說明。
似乎是SML90,而不是SML97 – newacct 2013-12-11 01:25:31
你說得對,很好。 – spacemanaki 2013-12-11 20:22:01
許多標準化語言(如C)的標準也不是免費的。 – newacct 2012-10-27 18:31:49
雖然這是一個真實的觀點,但我認爲任何現代語言都不應該設法使標準成爲必須購買的東西。這嚴重限制了實施的說明,而在標準MLs的情況下,這是它從未作爲語言起飛的原因之一。 – 2012-10-29 14:11:39