Miranda语言
维基百科,自由的 encyclopedia
Miranda,是一种惰性求值的纯函数式编程语言,由英国学者大卫·特纳(英语:David Turner (computer scientist))所设计。采用来自ML与Hope语言的概念,他用此来作为他先前所设计的SASL与KRC语言的后继者[2]。这个编程语言由英国的研究软件公司出品,这间公司拥有这个编程语言的商标权。
Quick Facts 编程范型, 设计者 ...
编程范型 | 惰性求值, 纯函数式, 声明式 |
---|---|
设计者 | 大卫·特纳(英语:David Turner (computer scientist)) |
实作者 | Research Software Ltd |
发行时间 | 1985年,39年前(1985) |
当前版本 |
|
型态系统 | 强类型, 静态 |
许可证 | 二条款BSD许可证 |
网站 | Miranda homepage |
主要实作产品 | |
Miranda | |
启发语言 | |
KRC, ML, SASL, Hope | |
影响语言 | |
Clean, Haskell, Orwell(英语:Orwell (programming language)) |
Close
Miranda在1985年首次发表以C语言写成的直译器,能够在类UNIX系统上运作。随后在1987年与1989年发行了更新版。Miranda强烈的影响了后来发展出的Haskell语言[3]。