Miranda（编程语言）

概述

Miranda 是 David Turner 于 1985 年前后设计的纯函数式编程语言，由 Research Software Ltd 作为商业产品发行。它结合了静态强类型、多态类型推断与惰性求值（lazy evaluation）。

语言特性

Miranda 采用基于缩进的简洁语法，支持代数数据类型、模式匹配、列表推导（list comprehension）和柯里化函数。程序由一组等式定义构成，不含副作用。

历史地位

二十世纪八十年代末，学术界希望有一门开放、统一的惰性函数式语言用于研究与教学，但 Miranda 是专有软件，这直接促成了 Haskell 委员会的成立。Haskell 的语法与核心设计大量借鉴了 Miranda。

现状

Miranda 如今已基本退出实际使用，其源码后来以开源方式发布，主要价值在于函数式编程史与语言设计研究。