Hope (programming language): Difference between revisions

Revision as of 11:31, 17 October 2014

Revision as of 09:31, 3 December 2014

Line 1:

'''Hope''' is a small [[functional (programming)|functional]] [[programming language]] developed in the 1970s at [[University of Edinburgh|Edinburgh University]].<ref name="BMS">Burstall R.M, MacQueen D.B, Sannella D.T. (1980) ''Hope: An Experimental Applicative Language''. Conference Record of the 1980 LISP Conference, Stanford University, pp. 136-143.</ref> <ref name="design"> R.M. Burstall. Design considerations for a functional programming language. Invited paper, Proc. Infotech State of the Art Conf. “The Software Revolution”, Copenhagen, 45–57 (1977)</ref> It predates [[Miranda programming language|Miranda]] and [[Haskell (programming language)|Haskell]] and is contemporaneous with [[ML (programming language)|ML]] (also developed at Edinburgh). Hope was derived from NPL, <ref name="design"/> a simple functional language developed by Burstall and Darlington in their work on program transformation.<ref> R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44–67 (1977)</ref> NPL was, in turn, derived from Kleene Recursion Equations. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types.{{Citation needed|date=February 2014}} SNOBOL is even older, and its 'patterns' may qualify as a hybrid between call-by-pattern and regular expression matching.{{Citation needed|date=April 2013}} Hope is an important language in the development of functional programming.

TheHope namewas maynamed havefor beenSir derivedThomas fromHope (c. 1681–1771), a Scottish agricultural reformer, after whom ''Hope Park Square'' in Edinburgh, at one time the ___location of the Department of Artificial Intelligence at the time of the development of Hope, was also named.

A Hope tutorial by Roger Bailey<ref>{{cite web|url=http://www.soi.city.ac.uk/~ross/Hope/hope_tut/hope_tut.html |title=A Hope Tutorial |publisher=Soi.city.ac.uk |date=1998-09-09 |accessdate=2013-11-07}}</ref> was featured in the August 1985 issue of [[Byte magazine|Byte]] on [[declarative programming]].<ref>{{cite web|url=http://www.devili.iki.fi/library/issue/136.en.html |title=HomeLib issue: BYTE - Volume 10, issue 8 (August, 1985) |publisher=Devili.iki.fi |date= |accessdate=2013-11-07}}</ref>