1. 개요
미란다(Miranda)는 1983-86년에 데이비드 터너(David Turner)에 의해 설계된 순수하고 비엄격하며 다형성의 고차 함수형 프로그래밍 언어이다. 이 언어는 연구와 교육 모두에서 널리 채택되었고, 이후 분야의 발전에 강한 영향을 미쳤으며, 특히 하스켈의 설계에 많은 영향을 주었다. 미란다는 하스켈과 많은 유사성을 가지고 있지만, 더 간단한 언어이다.2. 여담
- Miranda는 고유 명사로 약어가 아니기 때문에, 첫 글자만 대문자로 표기된다.