Implementación de tipos fantasma en F #

Question

Los programadores de Ocaml pueden usar los llamados "tipos fantasma" para aplicar algunas restricciones utilizando el sistema de tipo. Un buen ejemplo se puede encontrar en http://ocaml.janestreet.com/?q=node/11.

La sintaxis type readonly no funciona en F #. Podría ser reemplazado por un tipo pseudo-fantasma definido como type readonly = ReadOnlyDummyValue para implementar los trucos en la publicación de blog mencionada anteriormente.

¿Existe alguna forma mejor de definir los tipos fantasma en F #?

Answer 1

Creo que la definición del tipo simplemente usando type somename no funcionará en F #. El compilador F # necesita generar algún tipo .NET a partir de la declaración y la especificación F # no define explícitamente lo que debería suceder para los tipos fantasma.

Puede crear un tipo concreto (por ejemplo, con type somename = ReadOnlyDummyValue) en el archivo de implementación (.fs) y ocultar las partes internas del tipo agregando solo type somename al archivo de interfaz (.fsi). De esta forma, te acercarás bastante a un tipo fantasma: el usuario que se encuentre fuera del archivo no verá las partes internas del tipo.

Otra alternativa atractiva sería utilizar interfaces. Esto me suena lógico, porque la interfaz vacía es probablemente el tipo más simple que puede declarar (y no introduce ningún identificador ficticio). interfaz de vacío se ve así:

type CanRead = interface end 
type CanWrote = interface end 

Lo interesante, en este caso, es que también se puede crear interfaces heredadas:

type CanReadWrite = 
    inherit CanRead 
    inherit CanWrite 

A continuación, puede escribir una función que puede tomar valores de tipo Ref<CanRead, int> sino también valores de tipo Ref<CanReadWrite, int> (porque estos valores también son compatibles con la lectura):

let foo (arg:Ref<#CanRead, int>) = // ...  

Esto parece como algo que podría ser u seful. En realidad, me interesaría mucho si esto también se puede hacer en OCaml (porque depende del soporte F # para las interfaces y la herencia).