2010-06-29 30 views
10

F #, Nominal Tip Sistemi veya Yapısal Tip Sistemine Sahip mi?F #, Nominal veya Yapısal Yazılan

OCeml'in yapısal olarak yazıldığını biliyorum, ancak F # öyle görünmüyorsa, bu doğru mu?

cevap

12

F #, nominative. Bazı egzotik mekanizmalarla birkaç yapısal hile yapabilirsiniz, ancak dilin tür sistemi öncelikli olarak belirleyicidir.

+3

OCaml yapısalysa, F # nasıl 180 derece döndü? –

+5

F # kinda, OCaml'den işlevsel yapı ve bildirim sözdizimini, ancak .NET'ten nesne türü sistemini aldı. – Brian

+0

Ayrıca bkz. Http://stackoverflow.com/questions/3162387/why-is-fs-type-inference-so-fickle/3162832#3162832 – Brian