개정 비교

대수적 데이터 타입과 상태 모델링

선택한 두 보관본의 본문 변경입니다. 코드는 실행하지 않습니다.

비교 전 원문: 2026-10-31 01:48:15 UTC 비교 후 원문: 2026-10-31 02:10:13 UTC

변경 구간 1개

− 삭제+ 추가변경 없는 본문 32개는 생략했습니다.

본문 블록 없음 → 8

(내용 없음)

ML은 1970년대 Robin Milner가 에든버러의 정리 증명기 LCF를 위한 메타 언어로 개발한 계보에서 출발했다. 이후 Haskell은 비엄격 순수 함수형 언어들이 여럿 존재하던 상황에서 공통 언어를 만들려는 1987년의 논의를 거쳐, 1990년 4월 1일 첫 보고서를 내놓았다. 데이터 선언은 이 과정에서 함수·타입 추론·패턴 매칭과 함께 사용할 언어의 구성 요소로 이어졌다.[각주 1]