Over time, as the restrictions of HM-style type systems have become apparent, languages have steadily moved to more expressive logics for their type systems.
Προϊόντος του χρόνου, καθώς οι περιορισμοί των HM-style συστημάτων τύπων έγιναν εμφανείς, οι γλώσσες σταθερά κινούνταν προς εκφραστικότερες λογικές για τα συστήματα τύπων τους.