f# - F#、主格または構造型

Question

F# には主格型システムまたは構造型システムがありますか?

OCaml は構造的に型付けされていることは知っていますが、F# はそうではないようです。これは正しいですか?

Answer 1

F# は主格です。いくつかのエキゾチックなメカニズムを介していくつかの構造的なトリックを行うことができますが、言語の型システムは主に主格です。