Есть ли у F # система номинативных типов или система структурных типов?
Я знаю, что OCaml структурно типизирован, хотя F #, похоже, не так, верно?
F # - именительный. Вы можете сделать несколько структурных трюков с помощью некоторых экзотических механизмов, но система типов языка в основном именительная.