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