F#, Nominativo o Tipo estructural

typing

Question

¿F # tiene un sistema de tipo nominativo o un sistema de tipo estructural?

Sé que OCaml está tipado estructuralmente, aunque F # no parece ser así, ¿es correcto?

Answer 1

F # es nominativo. Puedes hacer algunos trucos estructurales a través de algunos mecanismos exóticos, pero el sistema de tipos del lenguaje es principalmente nominativo.