최근 수정 시각 : 2024-09-25 22:19:44

힌들리밀너 타입 시스템


이 문서는 토막글입니다.

토막글 규정을 유의하시기 바랍니다.


1. 개요2. 역사3. 관련 문서4. 외부 링크

1. 개요

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

2. 역사

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

3. 관련 문서

4. 외부 링크