ランク1多相
http://d.hatena.ne.jp/sumii/20061101/1162331060
ありがとうございます。ということで、id:kosakにも伝えました。
ということで、当然ですが以下のコードはエラーとなるわけですね。
# fun f x = fn y => fn z => ignore ( (f 1 ()), (f () ()));
http://d.hatena.ne.jp/sumii/20061101/1162331060
ありがとうございます。ということで、id:kosakにも伝えました。
ということで、当然ですが以下のコードはエラーとなるわけですね。
# fun f x = fn y => fn z => ignore ( (f 1 ()), (f () ()));