Buy Me a Coffee at ko-fi.com

Type system

set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

dynamic typing dynamic typing gradual typing static variable static typing Hindley–Milner nominative typing duck typing refinement typing inference typing row polymorphism latent typing implicit typing parametric polymorphism safe typing weak typing structural typing strong typing strong typing

Showing 0 to 19 of 19 Items