OCaml・Haskellの型推論の基礎になっている。またRustも関数単位でHM型推論を行う(Rustの型推論の概略 - 簡潔なQ)