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