# let f x = x#f 1;; val f : < f : int -> ’a; .. > -> ’a = <fun> # let g xs = List.map f xs;; val g : < f : int -> 'a; .. > list -> 'a list = <fun>めでたしめでたし。</fun></fun>

あんまりOCamlの話ではないのですが。先日のオブジェクトの話*1のコメントで、< name : string; .. > listがありえないという指摘をいただきましたが、そうではないと思います。これがだめなら、< name : string; .. > -> stringといった型もありえないこと…

SIMのファームを確認したらすでに1.04でした。新しいみたい。そろそろどこでも買えるようになってきてるということなんでしょうか。というか、買えたわけですけど。

どうでもいいんですけど、SML#って、なんか.NETで動きそうな名前ですよね。