可能重复:
带函数应用的类型化抽象语法树
我想要以下
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>
,这意味着我必须为所有使用三个参数t<_>
。有没有办法绕过它?
非常感谢您的见解