Miranda é uma linguagem de programação preguiçosa e puramente funcional projetada por David Turner como sucessora de suas linguagens de programação anteriores SASL e KRC, usando alguns conceitos de ML e Hope. Foi produzida pela Research Software Ltd. da Inglaterra e foi a primeira linguagem puramente funcional a ser comercialmente suportada.
- Inception
- 1985
- Website
- https://www.cs.kent.ac.uk/people/staff/dat/miranda/, http://miranda.org.uk
