latent typing

type system where types are associated with values and not variables

en-GB/ˈleɪtnt ˈtaɪpɪŋ/
en-US/ˈleɪdənt ˈtaɪpɪŋ/

Categorie:

type system