Miranda estió desarrollau entre los anyos 1985 y 1986 por David Turner. Ye un lenguache de programación funcional succesor de SASL y KRC.
O principal obchectivo d'iste lenguache yera desenrrollar una versión comercial d'un lenguache funcional: no-estricto. funcional puro.
Eixemplo Versión currying d'una función que incrementa en una unidat un numero:
add a b = a + b increment = add 1
Miranda