F#, Nominative or Structural Typed

Question

Does F# have a Nominative Type System or a Structural Type System?

I know that OCaml is structurally typed, though F# doesn't seems to be so, is this correct?

score 18 · Accepted Answer · answered Jun 29 '10 at 02:58

18

F# is nominative. You can do a few structural tricks via some exotic mechanisms, but the type system of the language is primarily nominative.

answered Jun 29 '10 at 02:58

Brian

7

If OCaml is structural, how did F# get turned around 180 degrees? – Robert Harvey Jun 30 '10 at 16:38
7

F# kinda took the functional structure and declaration syntax from OCaml, but the object type system from .NET. – Brian Jun 30 '10 at 17:02
See also http://stackoverflow.com/questions/3162387/why-is-fs-type-inference-so-fickle/3162832#3162832 – Brian Jul 02 '10 at 02:06
2

damnit, yeah...@RobertHarvey because it borrows from C# land – Alexander Mills Jan 27 '19 at 00:48

1 Answers1