miranda language

由 D Turner 著作 · 被引用 292 次 — The Miranda programming language is purely functional – there are no side effects or impe...

miranda language

由 D Turner 著作 · 被引用 292 次 — The Miranda programming language is purely functional – there are no side effects or imperative features of any kind. A program (actually we don't call. ,how to program in a pure functional programming language -- there are no side effects in Miranda; syntax in which layout is significant (like Python); a language ...

相關軟體 Miranda (32-bit) 資訊

Miranda (32-bit)
米蘭達 IM 是更小,更快,更簡單的即時通訊支持多種協議。 Miranda 從底層設計到資源節約,同時還提供豐富的功能集,包括對 AIM,Jabber,ICQ,IRC,MSN,Yahoo,Gadu-Gadu 等協議的支持。此外,通過選擇數百個插件,圖標,聲音和其他內容,Miranda IM 可讓您修改,定制和擴展功能,使其成為您自己的功能. Miranda 支持以下協議: AIM(AOL Inst... Miranda (32-bit) 軟體介紹

miranda language 相關參考資料
An Overview of Miranda

The aim of the Miranda system is to provide a modern functional language, embedded in a convenient programming environment, suitable both for teaching and ...

https://www.cs.kent.ac.uk

An Overview of Miranda - School of Computing - University of ...

由 D Turner 著作 · 被引用 292 次 — The Miranda programming language is purely functional – there are no side effects or imperative features of any kind. A program (actually we don't call.

http://www.cs.kent.ac.uk

CSE 341 - Programming Languages - Autumn 2006 Miranda

how to program in a pure functional programming language -- there are no side effects in Miranda; syntax in which layout is significant (like Python); a language ...

https://courses.cs.washington.

Miranda (programming language) - Simple English Wikipedia ...

Miranda is a functional programming language from the 1980s. It was not seen as a tool to teach functional programming. Miranda affected other programming ...

https://simple.wikipedia.org

Miranda (programming language) - Wikipedia

Miranda (programming language) ... Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier ...

https://en.wikipedia.org

Miranda (程式語言) - 維基百科,自由的百科全書 - Wikipedia

Miranda,一種程式語言,採用惰性求值的純函數式編程語言,由英國學者大衛·特納( ... Turner, D. A. Some History of Functional Programming Languages (PDF).

https://zh.wikipedia.org

Miranda homepage

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. The language was widely taken ...

http://miranda.org.uk

Miranda Programming Language - NKU

Miranda was the successor of the functional languages SASL and KRC. The main goal for creating Miranda was to produce a commercial version of a standard ...

http://www.nku.edu

Miranda: A non-strict functional language with polymorphic types

由 DA Turner 著作 · 1985 · 被引用 1012 次 — Miranda is a purely functional language, with no imperative features of any kind. A program is a collection of definitions, of functions and other data objects...

http://www.cs.kent.ac.uk