Miranda语言

Miranda

编程范型	惰性求值, 纯函数式, 声明式
設計者	大衛·特納
實作者	Research Software Ltd
发行时间	1985年​（1985）
当前版本	2.066（2020年1月31日；穩定版本）
型態系統	强类型, 静态
許可證	二条款BSD许可证
網站	Miranda homepage
主要實作產品
Miranda
啟發語言
KRC, ML, SASL, Hope
影響語言
Clean, Haskell, Orwell

Miranda，是一種惰性求值的纯函数式編程語言，由英國學者大衛·特納所設計。採用來自ML與Hope语言的概念，他用此來作為他先前所設計的SASL與KRC语言的後繼者。這個程式語言由英國的研究軟體公司出品，這間公司擁有這個程式語言的商標權。

Miranda在1985年首次發表以C語言寫成的直譯器，能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。Miranda強烈的影響了後來發展出的Haskell語言。

概述

Miranda是惰性、纯函数式编程语言。就是说，它缺少副作用和指令式编程特征。一个Miranda程序（叫做脚本）定义数学函数和代数数据类型的一组等式。集合的概念在这里是重要的，即等式的次序一般而言是无关紧要的，并且不需要在使用之前定义一个实体。

词法

因为解析算法可以智能的利用布局（缩进），很少需要将语句用括号包围起来，并且不要求语句终止符。这个特征受到了ISWIM的启发，也被用于occam和Haskell中，后来经由Python而流行起来。

注释通过字符||介入到正规的脚本中并持续到此行结束。一种可作为替代的注释约定影响整个源代码文件，叫做“文学脚本”，在其中所有的行都被当作注释，除非它开始于 > 符号。

数据类型

Miranda的基本数据类型是char、num和bool。字符串简单的就是char的列表，而num在两种底层形式之间静默转换：缺省的任意精度整数（又名bignum），和需要时的正规浮点值。

元组是潜在混合类型的元素的序列，类似于类Pascal语言的记录，用圆括号来界定：

this_employee = ("Folland, Mary", 10560, False, 35)

列表是Miranda中最常用的数据结构。列表用方括号来界定并具有用逗号分隔的元素，它们都必须有着相同类型：

week_days = ["Mon","Tue","Wed","Thur","Fri"]

列表串接是++，删减是--，构造是:，大小是#而索引是!，比如：

days = week_days ++ ["Sat","Sun"]
days = "Nil":days
days!0
⇒ "Nil"
days = days -- ["Nil"]
#days
⇒ 7

有一些列表建造捷径：..用于其元素形成算数序列的列表，具有指定不是1的增量的可能：

fac n   = product [1..n]
odd_sum = sum [1,3..100]

更一般性和更强力的列表建造设施是列表推导式（以前叫做“ZF表达式”)，它以两种主要形式提供：应用于一系列项目的一个表达式，比如：

squares = [ n * n | n <- [1..] ]

它可以读作：n的平方的列表，这里的n取自所有正数的列表；和其中每个项目都是前一项目的函数的一个系列，比如：

powers_of_2 = [ n | n <- 1, 2*n .. ]

如这两个例子所蕴含的那样，Miranda允许无限数目元素的列表，其中最简单的是所有正数的列表：[1..]。

函数

函数应用的表示法是简单的并列，比如sin x这样。

在Miranda中，如同大多数其他纯函数式语言，函数是头等公民，就是说它们可以作为实际参数传递给其他函数，作为结果返回，被包括为数据结构的元素。进一步的，通过提供少于形式参数数目的实际参数，有两个或更多形式参数的函数可以部份的“参数化”，或柯里化。这给出了另一个函数，接受余下的形式参数，并返回一个结果。例如：

add a b = a + b
increment = add 1

是建立向它的实际参数加1的一个函数“增加”的迂回方式。在现实中，add 4 7接受两个形式参数，函数add应用于4将得到一个单一形式参数的函数，它向它的实际参数加4，接着应用它于得到结果7。

任何有两个形式参数（操作数）的函数都可以转变成中缀算符，例如，给出上述的add函数定义，项目$add在所有方式下都等价于+算符，而所有接受两个形式参数的中缀算符也可以转变成对应的函数。因此如下这样：

increment = (+) 1

是建立向其实际参数加1的最简洁方式。类似的，在下列中：

half = (/ 2)
reciprocal = (1 /)

生成了两个单一形式参数的函数。解释器理解提供除法算符的两个形式参数的每种情况，分别给出将一个数除以2和返回它的倒数的函数。

它有着建立和操纵程序模块的机制，其内部函数对于调用这些模块的程序是不可见的。

类型推论和多态

尽管Miranda是强类型编程语言，它不坚持于显式的类型声明。如果一个函数的类型没有明确的声明，解释器会从它的形式参数和它们在函数内如何使用来推论出它的类型。除了基本类型（char、num和bool）之外，它包括了“任何事物”类型，这里一个形式参数的类型是无关紧要的，例如在列表反转函数中：

rev [] = []
rev (a:x) = rev x ++ [a]

它可以应用于有任何数据类型的列表，给它的显式的函数类型声明将是：

rev :: [*] -> [*]

样例代码

下列的Miranda脚本确定一个数的集合的所有子集的集合：

subsets []     = [[]]
subsets (x:xs) = [[x] ++ y | y <- ys] ++ ys
                 where ys = subsets xs

和函数primes的文学脚本，它给出所有素数的列表：

> || The infinite list of all prime numbers.

The list of potential prime numbers starts as all integers from 2 onwards;
as each prime is returned, all the following numbers that can exactly be
divided by it are filtered out of the list of candidates.

> primes = sieve [2..]
> sieve (p:x) = p : sieve [n | n <- x; n mod p ~= 0]

外部連結

• 官方首頁 （页面存档备份，存于互联网档案馆）