Miranda

Miranda je vysokoúrovňový, univerzální, čistě funkcionální programovací jazyk navržený společností Research Software Ltd. v roce 1985. Byl pojmenován po anglické herečce Mirandě Richardsonové. Miranda je staticky typovaný jazyk se silnou typovou kontrolou. Podporuje funkce vyššího řádu, lexikální uzávěry, líné vyhodnocování a garbage collection. Jazyk má imperativní styl programování s vedlejšími efekty, které jsou však omezeny na vstupy a výstupy. Je možné psát programy v čistě funkcionálním stylu. Miranda je široce používána v akademickém prostředí, zejména ve Velké Británii, a má malé, ale věrné příznivce mezi komerčními programátory.