tipo de recursión explícita en Fa #

Question

Inspirado por this question:

es explícito recursividad tipo posible en C#?

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

let unIn (In x) = x 

Este código da por desgracia "parámetro Tipo no se puede utilizar como tipo de constructor

Observaciones:. Este constructo se utiliza en el documento Functional Programming with Overloading and Higher-Order Polymorphism, por ejemplo

Ejemplo de uso (. tomado de here):

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

type 'a List = ListX Mu 

Answer 1

No, esto es imposible. Específicamente, los genéricos en F # tienen la misma limitación que el CLR, es decir, un < T> o un < 'a> debe tener el tipo "*". Esta misma limitación es lo que significa que no puede crear "clases de tipo" directamente en F #, ya que p. "Monad m" tomaría un argumento de mayor calidad 'm' (por ejemplo, "* -> *", donde, por ejemplo, 'lista' y 'opción' podrían ser instancias, siendo cada uno de ellos constructores de tipo genérico), pero esto no está permitido. .