F#，标称或结构化类型 [英] F#, Nominative or Structural Typed

问题描述

F#是否具有名词性类型系统或结构性类型系统?

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

我知道OCaml是结构化类型的，尽管F#似乎不是这样，这是正确的吗?

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

推荐答案

F#是主格.您可以通过一些外来的机制来做一些结构上的技巧，但是语言的类型系统主要是主格的.

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

这篇关于F#，标称或结构化类型的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！