SMLofNJ授業でやったけど、マジ地獄だった。
なにこの言語、がんじがらめって感じ。
型推論とかいろんなお節介機能でコンパイルを妨害しまくるし。
cとかjavaの方が1000倍生産性高いわ。
なんの為に存在すんの？
売りはなに？