Others, such as Haskell's, perform type inference: the compiler draws conclusions about the types of variables based on how programmers use those variables.
Jiné jazyky, jako Haskell provádějí typové odvozování: kompilátor vyvozuje závěry o typech proměnných založené na tom, jak programátor tyto proměnné využívá.