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で。