Программисты Ocaml могут использовать так называемые «фантомные типы», чтобы применить некоторые ограничения, используя систему типов. Хороший пример можно найти наhttp://ocaml.janestreet.com/?q=node/11.

Синтаксисtype readonly не работает в F #. Его можно заменить псевдо-фантомным типом, определенным какtype readonly = ReadOnlyDummyValue для того, чтобы реализовать трюки в вышеупомянутом сообщении блога.

Есть ли лучший способ определить фантомные типы в F #?