A restriction of System F known as "Hindley–Milner", or simply "HM", does have an easy type inference algorithm and is used for many statically typed functional programming languages such as Haskell 98 and ML.
Ένας περιορισμός του Συστήματος F, γνωστός ως "Hindley–Milner", ή απλά "HM", έχει ένα εύκολο αλγόριθμο εξαγωγής τύπων και χρησιμοποιείται για πολλές strongly typed συναρτησιακές γλώσσες προγραμματισμού όπως η Haskell 98 και η ML.