SML#は東北大学の大堀研が開発を進めている関数型プログラミング言語です。SMLとの互換性を保ながら、C言語ライブラリとの直接連携や多相レコードなどの仕組みが取り入れられています。そして、他のML系言語と同様に非常に強力な型推論を持っています。 おか…