| 词条 | Charity (programming language) |
| 释义 |
}}{{Infobox programming language | name = Charity | logo = | paradigm = pure functional | year = 1992[1] | designer = | developer = The Charity Development Group | latest preview version = 1.99.1 (beta)[2] | latest preview date = {{start date and age|2000|08}} | typing = | influenced_by = | influenced = | operating system = Linux, SunOS, Windows 9x, Windows NT[2] | license = Non-commercial use only[3] | website = {{URL|http://pll.cpsc.ucalgary.ca/charity1/www/home.html}} }} Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. Based on ideas by [https://web.archive.org/web/20080603005743/http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en Hagino Tatsuya], it is completely grounded in category theory. Disregarding interactions with the outside world, all Charity programs are guaranteed to terminate or stay productive. The language allows ordinary recursive data types, such as might be found in ML, which are required to be finite, and corecursive data types, which are allowed to be potentially infinite. The control structure for operating on recursive data types is primitive recursion or paramorphism, and the control structure for corecursive data types is primitive co-recursion or apomorphism. Neither control structure can operate over the other kind of data, so all paramorphisms terminate and all apomorphisms are productive. References1. ^{{cite journal|last1=Cockett|first1=Robin|first2=Tom|last2=Fukushima|date=May 27, 1992|title=About Charity|journal=Yellow Series Report|publisher=Department of Computer Science, University of Calgary|location=Calgary, Alberta, Canada|issue=92/480/18|url=ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/about_charity.ps}}{{dead link|date=August 2017 |bot=InternetArchiveBot |fix-attempted=yes }} 2. ^1 {{cite web|url=http://pll.cpsc.ucalgary.ca/charity1/www/system.html|title=Download The Charity System|date=October 2000|work=CHARITY|publisher=The Charity Development Group|accessdate=2011-03-06}} 3. ^{{cite web|url=http://pll.cpsc.ucalgary.ca/charity1/www/license.html|title=License Conditions|date=September 1997|work=CHARITY|publisher=The Charity Development Group|accessdate=2011-03-06}} External links
3 : Academic programming languages|Experimental programming languages|Functional languages |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。