実際の標準ML仕様はThe Definition of Standard ML (Revised) であり、MITPressでは印刷版でのみ利用できます。StandardML 97定義
電子形式(pdf、ps、ie)で利用できますか?
実際の標準ML仕様はThe Definition of Standard ML (Revised) であり、MITPressでは印刷版でのみ利用できます。StandardML 97定義
電子形式(pdf、ps、ie)で利用できますか?
これは間違いです。言語の仕様は自由でなければならない。それ以外の場合は、関心のある人の数を自動的に制限します。しかし、公正であるために、SMLの定義は本当に良い仕事であり、他の言語よりもはるかに包括的です。仕様。おそらく書き込むのにさらに時間がかかりました!
定義は最近、MIT Pressとthe source is on Githubで利用可能になりました。これにはPDFのコンパイル方法が含まれています。
はSML90ではなくSML97であると思われます。 – newacct
あなたは正しいです。 – spacemanaki
多くの標準言語(Cなど)の標準も無料ではありません。 – newacct
これは本当の意味ですが、現代的な言語は、あなたが購入しなければならないものを標準化しようとするべきではないと思います。これは、実装の説明を厳しく制限し、標準MLの場合、それは言語として離陸しなかった理由の1つです。 –