Miranda语言
| 编程范型 | 惰性求值, 函数式, 声明式 |
|---|---|
| 設計者 | 大衛·特納（David Turner） |
| 實作者 | Research Software Ltd |
| 发行时间 | 1985年 |
| 当前版本 |
|
| 型態系統 | strong, static |
| 網站 | miranda.org.uk |
| 主要實作產品 | |
| Miranda | |
| 啟發語言 | |
| KRC, ML, SASL, Hope | |
| 影響語言 | |
| Haskell | |
Miranda，一種程式語言，採用惰性求值的純函數式編程語言，由英國學者大衛·特納（David Turner）所設計。採用來自ML與Hope语言的概念，他用此來作為他先前所設計的SASL與KRC语言的後繼者。稍後發展出的Haskell語言，採用了很多由Miranda所發展出的概念。
這個程式語言由英國的研究軟體公司（Research Software Ltd.）研發，這間公司擁有這個程式語言的商標權。在1985年首次發表以C語言寫成的直譯器，能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。
程式範例
外部連結
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
- ^ Miranda download page. [2024年5月17日].