Others, such as Haskell's, perform type inference: the compiler draws conclusions about the types of variables based on how programmers use those variables.
Άλλα συστήματα, όπως της Haskell, κάνουν εξαγωγή τύπων (type inference): ο μεταγλωττιστής βγάζει συμπεράσματα για τους τύπους των μεταβλητών, με βάση πώς χρησιμοποιούνται αυτές από τον προγραμματιστή.