لغة برمجة ميراندا (Miranda) هي لغة برمجة كسولة ووظيفية بشكل خالص، صممها ديفيد تيرنر كبديل للغات البرمجة السابقة التي قام بتطويرها وهي SASL و KRC، واستخدم في تصميمها بعض المفاهيم من لغات البرمجة ML و Hope. تم إنتاجها بواسطة شركة Research Software Ltd. في إنجلترا، التي تحمل علامة تجارية على اسم ميراندا، وكانت أول لغة وظيفية بشكل خالص تحظى بدعم تجاري.
تم إطلاق ميراندا لأول مرة في عام 1985، كمترجم سريع في لغة C لنظم التشغيل بنكهة Unix، مع إصدارات لاحقة في عامي 1987 و 1989. لعبت ميراندا دوراً هاماً في التأثير على لغة هاسكيل (Haskell) لاحقاً.
من ميزات ميراندا أنها تدعم التعليقات السطرية، ولديها هيكل تقديم التعليمات البرمجية بشكل منتظم يعتمد على التعويدات الدلالية (Semantic indentation). على الرغم من أن ميراندا كانت مغلقة المصدر، إلا أنها كانت مؤثرة بشكل كبير في مجال لغات البرمجة الوظيفية.
يمكنك العثور على مزيد من المعلومات حول ميراندا في صفحتها على ويكيبيديا: Miranda Wikipedia