Miranda

Miranda je vysokoúrovňový, univerzálny, čisto funkcionálny programovací jazyk navrhnutý spoločnosťou Research Software Ltd. v roku 1985. Bol pomenovaný podľa anglickej herečky Mirandy Richardsonovej. Miranda je staticky typovaný jazyk so silnou typovou kontrolou. Podporuje funkcie vyššieho rádu, lexikálne uzávery, lenivé vyhodnocovanie a zber odpadu. Jazyk má imperatívny štýl programovania s vedľajšími efektmi, ktoré sú však obmedzené na vstupno-výstupné operácie. Je možné písať programy v čisto funkcionálnom štýle. Miranda je široko používaná v akademickom prostredí, najmä vo Veľkej Británii, a má malých, ale verných nasledovníkov medzi komerčnými programátormi.