Neo
Reputation: 908
F#, Nominative or Structural Typed
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?
Upvotes: 13
Views: 2063
Answers (1)
Brian
Reputation: 118865
F# is nominative. You can do a few structural tricks via some exotic mechanisms, but the type system of the language is primarily nominative.
Upvotes: 18
Related Questions
- Types vs. Modules in F#
- What's the difference between type1 -> type2 -> type3 and type1 -> (type2 -> type3)?
- Type definitions and type inference in F#
- F# and duck-typing
- Type inference problems in F#
- type inference in F#
- Options and type determinations f#
- F# simple type and structural comparison
- F# Type Inference
- Small difference in types