[[TableOfContents]]
= 개요 =
= Hindley–Milner 타입 추론 알고리즘 =
http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner