- 427 名前：デフォルトの名無しさん mailto:sage [2009/02/07(土) 23:47:23 ]
- 関数を表す型を定義して、定数関数を定義しようとしたのですが
型からは関数とわかっていても、関数のようには呼び出せませんでした。
以下のようなことを実現するのは難しいのでしょうか？
type FUNC<'arg1,'result> = F of ('arg1 -> 'result);;
F ((+)1);; //使用例1
F (+);; //使用例2
//ここでエラー
let apply1 (f:FUNC<int,int>) = f 1;;
//apply1 ((+)1)、などとしたい
欲を言えば、FUNC型からarg1やresultの型を取り出すような
プログラムも書きたい・・
