Os programadores da Ocaml podem usar os chamados 'tipos fantasmas' para impor algumas restrições usando o sistema de tipos. Um bom exemplo pode ser encontrado emhttp://ocaml.janestreet.com/?q=node/11.

A sintaxetype readonly não funciona em F #. Pode ser substituído por um tipo de pseudo-fantasma definido comotype readonly = ReadOnlyDummyValue para implementar os truques na postagem do blog acima mencionada.

Existe uma maneira melhor de definir tipos de fantasma em F #?