1

重複の可能性:
関数適用による型付き抽象構文木

私は次のことをしたいと思います

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<_>。それを回避する方法はありますか?

あなたの洞察に感謝します

4

0 に答える 0