LTWlanguages & frameworks ltw://type-systems
Sponsor
LTW
Sponsor
  1. Home
  2. Type systems

Type systems

15 type systems
Type systemLanguages
dynamic typing189
strong typing188
static typing148
inference typing45
weak typing36
nominative typing27
duck typing26
manifest typing21
safe typing21
structural typing16
latent typing8
dependent typing6
gradual typing6
uniqueness typing4
linear typing3