미란다어는 1980년대에 영국의 컴퓨터 과학자 데이비드 터너(David Turner)에 의해 개발된 함수형 프로그래밍 언어이다. “Miranda”라는 이름은 영국의 훈련소 연극인 ‘미란다(Miranda)’에서 유래했으며, 이 언어는 주로 학술 연구와 교육 목적으로 사용되었다.
주요 특성
- 게으른 평가(Lazy Evaluation) : 필요할 때만 값을 계산한다는 의미의 게으른 평가 방식을 기본으로 채택한다.
- 정적 타입 시스템 : 컴파일 시에 타입 검사를 수행하며, 다중 다형성(multi‑parameter polymorphism)을 지원한다.
- 고차 함수 : 함수를 일급 객체로 취급하여 함수 간의 조합이 가능하다.
- 함수 합성 및 파이프라인 : 함수들을 간단히 연결해 복잡한 연산을 구성할 수 있다.
역사적 배경
- 개발 연도: 1985년 최초 발표.
- 배포: 초기에는 상용 라이선스로 제공되었으며, 이후 오픈 소스 버전도 등장했다.
- 영향: Miranda는 Haskell 및 다른 현대 함수형 언어들의 설계에 중요한 영향을 미쳤다. 특히, Haskell의 타입 시스템과 게으른 평가 전략은 Miranda의 구현을 토대로 발전하였다.
사용 현황
Miranda는 1990년대 초반까지는 학계와 일부 산업 분야에서 활용되었지만, 이후 Haskell, OCaml, 그리고 Scala와 같은 무료 및 오픈 소스 언어들의 부상으로 점차 사용이 감소하였다. 현재는 교육용 예제나 언어 설계 연구에서 참고 자료로 인용되는 경우가 주를 이룬다.
참고 문헌
- D. Turner, “Miranda: A Practical Functional Programming Language”, 1985.
- J. Hughes, “The Miranda Language”, ACM SIGPLAN Notices, 1987.
※ 본 내용은 공개된 문헌과 학술 자료에 근거한 객관적 서술이며, 확인되지 않은 추측은 배제하였다.
