Comparison of programming languages by type system

This is a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions A nominal type system means that the language decides whether types are compatible and/or equivalent based on explicit declarations and names.

This neuron ends here.