SML#インストール顛末
動くようになりました。configureの生成ファイルが微妙だった説。
それはさておき、SML#を使ってみたところの感想としては、まず立ち上げるといきなりNorton先生に怒られます。トロイの木馬扱いをされました。
http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?SmlSharpCompiler
この下に書いてあるのですが、どうやらTCP/IPを使ってプロセス間通信を行っているようで、そのためポートを空けようとするらしいのですな。
それから、例えば
fun ignore x = (); fun f x = fn y => fn z => ignore (f 1 ());
とした時に、fの型が
val f = fn : ['a .int -> unit -> 'a -> unit]
となるわけですが、本当は違うよね、と言う話でid:kosakが遊んでました。漏れのPCで。