Ocaml-Programmierer können sogenannte "Phantom-Typen" verwenden, um einige Einschränkungen mithilfe des Typsystems zu erzwingen. Ein schönes Beispiel finden Sie unterhttp: //ocaml.janestreet.com/? q = node / 11.

Die Syntaxtype readonly funktioniert nicht in F #. Es könnte durch einen Pseudophantomtyp ersetzt werden, der als @ definiert istype readonly = ReadOnlyDummyValue, um die Tricks im oben genannten Blog-Beitrag umzusetzen.

Gibt es eine bessere Möglichkeit, Phantomtypen in F # zu definieren?