ニュースのまとめ

Miranda は、遅延評価方式の純粋関数型プログラミング言語である。David Turner が自身が以前に開発したプログラミング言語 SASL や KRC の後継として、ML や Hopeのコンセプトを一部利用して開発した。イギリスの Research Software Ltd. が販売しており、'Miranda' は同社の商標である。研究目的ではない商用を目指した最初の純粋関数型言語であった。
よくある例題を解くプログラムに関して言えば、Miranda のコードはAPLには敵わないものの、ほとんどの主流のプログラミング言語よりも簡単で短く表現でき、他の関数型言語と同様、信頼性の高いプログラムの開発が命令型言語に比べて短期間で可能になったという報告がある。
1985年に登場したが、UNIX系オペレーティングシステム向けにC言語で実装された処理系しかない。後発の Haskell は多くの面で Miranda に似ている。