SML#
とりあえず、歴史的背景とかそういう話はなんとなく分かりました。細かい証明とかそういうのについては分からないですが、論文とか読まずに分かるように説明しろというのはむちゃくちゃなので。こういう場合、実は分からないと言うより分かろうとしていないと言うのが言葉としては正しいのかもしれない。しかしながら、分かろうとしていないと言う発言は失礼すぎる。日本語は難しい。
それはともかく、SML#のインストールを行ってみることにしたわけですが、とりあえずSMLが無いとインストールできないと言う素敵仕様。さらにSMLがあっても、Cygwinではインストールできませんでした。
以下メモ:
- SMLのインストールの際には環境変数SMLNJ_HOMEを設定する必要がある。
- SMLのインストールディレクトリに、スペースがあってはいけないようだ(Cygwinの場合)
- で、インストールディレクトリを変える場合は、やっぱり環境変数を書き換えないといけない
- バイナリ配布のSMLには、sml.batはあるがsml-cm.batが存在していない。これが無いと、SML#のconfigureが通らない。
- とりあえず、cp sml.bat sml-cm.batをしてみた。
- 結局makeが通らないが、configureが悪そうである。
誰かインストールできたらWindows用にバイナリ配布してくださいな。