Los programadores de Ocaml pueden usar los llamados 'tipos fantasmas' para imponer algunas restricciones usando el sistema de tipos. Un buen ejemplo se puede encontrar enhttp://ocaml.janestreet.com/?q=node/11.

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

¿Hay una mejor manera de definir tipos fantasma en F #?