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