Content deleted Content added
No edit summary |
Still trying to figure out where pattern-matching (as in Prolog, Erlang, Haskell, et al.) originated. |
||
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> It predates [[Miranda programming language|Miranda]] and [[Haskell (programming language)|Haskell]] and is contemporaneous with [[ML (programming language)|ML]] (also developed at Edinburgh). It is notable for being the first language with call-by-pattern evaluation{{Citation needed|reason=Prolog appeared in 1972 and has call-by-pattern evaluation with its 'rules'. SNOBOL is even older, and its 'patterns' may qualify as a hybrid between call-by-pattern and regular expression matching.|date=April 2013}} and [[algebraic data type]]s.{{Citation needed|date=April 2013}} Hope is an important language in the development of functional programming.
The name may have been derived from ''Hope Park Square'' in Edinburgh, at one time the ___location of the Department of Artificial Intelligence.
| |||