Hope (мова програмування)

Hope — функційна мова програмування розроблена в 1970-ті в Единбурзькому університеті[1][2]. Ця мова програмування була сучасником ML, та попередником Miranda та Haskell. Розроблена на основі дослідницької мови функційного програмування NPL[3][4].

Мови програмування NPL та Hope відомі як перші мови програмування, де було використано виконання команд за шаблоном та алгебричні типи даних[5].

Мова програмування названа на честь шотландського реформатора сера Томаса Гоупа (1681—1771).

Огляд ред.

Функція для обчислення факторіалу в мові програмування Hope:

 dec fact : num -> num;
 --- fact 0 <= 1;
 --- fact n <= n*fact(n-1);

У мові програмування Hope є дві вбудованих структур даних: кортежі та списки[6].

Примітки ред.

  1. 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.
  2. Bailey, Roger (1 April 1990). Functional Programming with Hope. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood Ltd.
  3. 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)
  4. 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)
  5. Hudak, Paul; Hughes, John; Peyton Jones, Simon; Wadler, Philip (9 червня 2007). A history of Haskell: being lazy with class. ACM. с. 12–1. doi:10.1145/1238844.1238856. ISBN 9781595937667.
  6. Bailey, Roger (August 1985). A Hope Tutorial. BYTE. Т. 10, № 8. Процитовано 1 April 2015.

Посилання ред.