Miranda (programming language): Difference between revisions

Content deleted Content added
provide open access pdf. springer link maintained via doi
Add external links to the current source code for Miranda and a large example of a Miranda program
 
(15 intermediate revisions by 13 users not shown)
Line 1:
{{Short description|Programming language by David Turner}}
{{More footnotes needed|date=September 2016}}
{{Infobox programming language
| name = Miranda
| logo = [[File:Miranda logo (programming language).jpg]]
| logo caption =
| screenshot =
Line 33 ⟶ 34:
 
In 2020 a version of Miranda was released as open source under a [[BSD 2-Clause|BSD licence]]. The code has been updated to conform to modern C standards ([[C11 (C standard revision)|C11]]/[[C18 (C standard revision)|C18]]) and to generate 64-bit binaries. This has been tested on operating systems including [[Debian]], [[Ubuntu]], [[Windows Subsystem for Linux|WSL]]/Ubuntu, and [[macOS]] ([[macOS Catalina|Catalina]]).<ref name=opensourcing>{{Cite web|last=Turner|first=David|date=2021-03-22|title=Open Sourcing Miranda|url=http://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/|access-date=2021-12-30|website=Code Sync|language=en|publication-place=London|publication-date=November 2020}}</ref><ref>{{Cite web|title=Miranda download page|url=https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads/|access-date=2021-12-30|website=www.cs.kent.ac.uk}}</ref>
 
== Name ==
[[File:Miranda - The Tempest JWW.jpg|thumb|right|''Miranda'' by John William Waterhouse, 1917]]
The name ''Miranda'' is taken from the gerundive form of the latin verb {{lang|la|[[:wikt:miror|miror]]}},<ref>{{cite web |url=https://www.cs.kent.ac.uk/people/staff/dat/miranda/name.html |title=About the name Miranda |access-date=2024-05-18}}</ref> meaning "to be admired".
 
The logo features a rendition by [[John William Waterhouse]] of the character [[Miranda (The Tempest)|Miranda]] from Shakespeare's ''The Tempest''.
 
== Overview ==
Line 273 ⟶ 280:
 
==External links==
* {{Official website}}
* [https://codeberg.org/DATurner/miranda The currently maintained open source version] of Professor Turner's interpreter for Miranda.
* [http://bignum.sf.net The infinite precision math library], a large example of programming in Miranda (and Haskell).
 
{{Programming language}}