[[TableOfContents]]
= 개요 =
= Hindley–Milner 타입 추론 알고리즘 =