Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Η Miranda είναι μια οκνηρή, αμιγώς συναρτησιακή γλώσσα προγραμματισμού, η οποία σχεδιάστηκε από τον David Turner σαν διάδοχος της SASL και της KRC, χρησιμοποιώντας κάποιες ιδέες της ML και της Hope.