힌들리밀너 타입 시스템

1. 개요

• 힌들리밀너 타입 시스템(Hindley-Milner type system)은 람다 계산법을 위한 타입 시스템이다. 힌들리가 먼저 기술했고 밀너가 재발견했다.
• 힌들리밀너 타입 시스템은 프로그래머가 타입을 적지 않아도 대부분의 타입을 유추할 수 있다.
• 힌들리밀너 타입 시스템은 주로 함수형 언어에서 쓰인다.
• 프로그래밍 언어 ML에서 힌들리밀너 타입 시스템을 최초로 구현했다.
• 하스켈 타입 시스템 제약에 힌들리밀너 타입 시스템이 쓰였다.
• 힌들리밀터 타입 시스템은 줄여서 HM이라고도 쓴다.

2. 역사

• 1958년에 하스켈 커리와 로버트 페이스가 단순 타입 람다 계산법(Simply typed lambda calculas)을 위해 타입 추론 알고리즘을 고안했다.
• 1969년에 힌들리가 이 알고리즘이 거의 대부분의 타입을 항상 추론한다는 것을 증명했다.
• 1978년에 밀러가 힌들리의 작업과는 별개로 그것과 동등한 알고리즘인 Algorithm W를 제시했다.

3. 관련 문서

• 람다 계산법

4. 외부 링크

• 영문 위키백과