F# 有主格类型系统还是结构类型系统?
我知道 OCaml 是结构类型的,尽管 F# 似乎并非如此,这是正确的吗?
F# 是主格。您可以通过一些奇异的机制执行一些结构技巧,但该语言的类型系统主要是主格的。