重複の可能性:
関数適用による型付き抽象構文木
私は次のことをしたいと思います
type t<'a>=
| Val of 'a
| Apply of (('a -> 'b) -> t<'a> -> t<'b>) * t<'a>
| Apply2 of (('a -> 'b -> 'c) -> t<'a> -> t<'b> -> t<'c>)* t<'a> * t<'b>
つまりApply
、関数 と at を取り、 f を の「コンテンツ」に適用しますt
。
ただし、 を要求するt<'a, 'b, 'c>
ため、すべての に対して 3 つのパラメーターを使用する必要がありますt<_>
。それを回避する方法はありますか?
あなたの洞察に感謝します