问题
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?
回答1:
F# is nominative. You can do a few structural tricks via some exotic mechanisms, but the type system of the language is primarily nominative.
来源：https://stackoverflow.com/questions/3137512/f-nominative-or-structural-typed