F#中的显式类型递归

Question

F#中的显式类型递归

7

F#中是否可能进行显式类型递归?

type 'a Mu = In of 'a Mu 'a

let unIn (In x) = x

这段代码不幸地给出了“类型参数不能用作类型构造函数”的错误。

备注：例如，该结构在论文Functional Programming with Overloading and Higher-Order Polymorphism中使用。

使用示例（摘自此处）：

type ('a, 'b) ListX =
    | Nil
    | Cons of 'a * 'b

type 'a List = ListX Mu

- Thomas Danecker

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Brian · Accepted Answer

不，这是不可能的。具体来说，F＃中的泛型与CLR具有相同的限制，即<T>或<'a>必须具有“*”类型。这意味着您无法直接在F＃中编写“类型类”，因为例如“Monad m”将采用更高级别的参数'm'（例如“* -> *”，其中例如'list'和'option'可以是实例，它们本身是通用类型构造函数），但是这是不允许的。