Does f# is a Nominal typed or a structurally-typed language? (I know that OCaml is structurally type, though f# doesn't seems to be so).
+7
A:
F# is nominative. You can do a few structural tricks via some exotic mechanisms, but the type system of the language is primarily nominative.
Brian
2010-06-29 02:58:51
If OCaml is structural, how did F# get turned around 180 degrees?
Robert Harvey
2010-06-30 16:38:59
F# kinda took the functional structure and declaration syntax from OCaml, but the object type system from .NET.
Brian
2010-06-30 17:02:23
See also http://stackoverflow.com/questions/3162387/why-is-fs-type-inference-so-fickle/3162832#3162832
Brian
2010-07-02 02:06:05