Miranda

Funktionsprogrammeringssprog konstrueret i 1987 af David Turner fra Kent Universitet i Canterbury (England).

På latin betyder "miranda": "den (hunkøn), som bør beundres", og det er blandt andet navnet på heltinden i Shakespeares skuespil "Stormen". Brugt som navn på et programmeringssprog er det registreret varemærke for Turners firma "Research Software Ltd".

Realiseringen af Miranda var en af de første, som gjorde en kombinering af funktionsprogrammering med kontrol af datatyper under oversættelse kommercielt tilgængelig.

Programmer i Miranda udformes i et såkaldt "script" med en koncis syntaks, der gør det let at udtrykke funktioner af højere orden, det vil sige funktioner, hvis parametre eller hvis resultat selv er en funktion. Realiseringen af disse højere ordens-funktioner bygger på kombinatorisk logik, som er en variant af lambda-kalkulen.