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.
میراندا یک زبان برنامه‌سازی غیر اکید، کاملاً تابعی است که توسط David Turner به عنوان جانشینی برای زبان برنامه‌سازی قبلی او یعنی SASL و KRC طراحی شده، که از برخی مفاهیم ML و HOPE استفاده می‌کند.