Miranda (编程语言)

维基百科,自由的百科全书
跳到导航 跳到搜索
Miranda
编程范型惰性求值, 函数式, 声明式
設計者大衛·特納英语David Turner (computer scientist)
實作者Research Software Ltd
发行时间1985年,​36年前​(1985
穩定版本
2.066
(2020年1月31日,​12個月前​(2020-01-31
型態系統强类型, 静态
許可證2条款BSD许可证
網站Miranda homepage
主要實作產品
Miranda
啟發語言
KRC, ML, SASL, Hope
影響語言
Clean, Haskell, Orwell英语Orwell (programming language)

Miranda,一種程式語言,採用惰性求值純函數式編程語言,由英國學者大衛·特納英语David Turner (computer scientist)所設計。採用來自MLHope语言的概念,他用此來作為他先前所設計的SASLKRC语言的後繼者。稍後發展出的Haskell語言,採用了很多由Miranda所發展出的概念。

這個程式語言由英國的研究軟體公司研發,這間公司擁有這個程式語言的商標權。在1985年首次發表以C語言寫成的直譯器,能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。[1]

概述[编辑]

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

词法[编辑]

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

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

数据类型[编辑]

Miranda的基本数据类型charnumbool。字符串简单的就是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是强类型编程语言,它不坚持于显式的类型声明英语declaration (computer science)。如果一个函数的类型没有明确的声明,解释器会从它的形式参数和它们在函数内如何使用来推论出它的类型。除了基本类型(charnumbool)之外,它包括了“任何事物”类型,这里一个形式参数的类型是无关紧要的,例如在列表反转函数中:

  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]

引用[编辑]

  1. ^ Hudak, Paul; Hughes, John. A History of Haskell: being lazy with class. 2007. 

外部連結[编辑]