Miranda

概述

Miranda 是英国计算机科学家 David Turner 设计的惰性求值、纯函数式编程语言,1985 年由其公司 Research Software Ltd 发布,是首个作为商业产品推广的纯函数式语言。名称在西班牙语中意为"值得赞叹的"。

特点

Miranda 继承了 Turner 早期语言 SASL 与 KRC 的血统,具备惰性求值、Hindley-Milner 类型推断、代数数据类型、模式匹配与列表推导(其中列表推导的写法影响深远),采用基于缩进的简洁语法,实现上使用组合子图归约技术。

与 Haskell 的关系

20 世纪 80 年代末,学界惰性函数式语言林立而互不兼容,Miranda 是当时最有影响的一支;但由于其属专有软件,社区决定另行设计一门开放的标准语言,即 1990 年诞生的 Haskell。Haskell 的语法与核心设计深受 Miranda 影响,Turner 本人则未参与 Haskell 委员会。

影响

Miranda 在 90 年代被多所大学用于教学,随着 Haskell 兴起而式微;2020 年前后其实现以开源形式重新发布。它是函数式语言从学术走向产品化的重要一环。