Miranda foi desenvolvido entre os anos 1985 e 1986 por David Turner. Trátase dunha linguaxe de programación funcional sucesora de SASL e KRC.

O principal obxectivo desta linguaxe foi desenvolver unha versión comercial dunha linguaxe funcional non-estrita e puramente funcional.

Miranda