Miranda, David Turner tarafından erken programlama dillerinin ardılı olarak tasarlanan tembel, tamamen işlevsel bir programlama dilidir. Research Software Ltd. Tarafından (Miranda adı altında bir marka olan) İngiltere tarafından üretildi ve desteklenecek ilk tamamen işlevsel dildi. Miranda ilk kez 1985 yılında Unix-flavor işletim sistemleri için C 'de hızlı bir yorumlayıcı ve 1987 ve 1989'da sonraki bültenleri yayımladı. Miranda'nın daha sonraki Haskell programlama dili üzerinde güçlü bir etkisi vardı.Zorunlu programlama özellikleri yoktur. Ayrıştırma algoritması düzenin (girinti) akıllıca kullanılmasını sağladığından, köşeli parantez ifadelerine nadiren gereksinim duyulur ve hiçbir deyim sonlandırıcısı gerekmez. ISWIM 'den esinlenen bu özellik, occam ve Haskell 'de de kullanılır ve daha sonra Python tarafından popülerleştirilir.