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].

↑ 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.
↑ Bailey, Roger (1 квітня 1990). Functional Programming with Hope. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood Ltd.
↑ 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)
↑ 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)
↑ 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.
↑ Bailey, Roger (Серпень 1985). A Hope Tutorial. BYTE. Т. 10, № 8. Процитовано 1 квітня 2015.

Hope Interpreter for Windows
Burstall, R. M. and MacQueen, D. B. and Sannella, D. T. (1980). HOPE: An Experimental Applicative Language. Proceedings of the 1980 ACM Conference on LISP and Functional Programming. LFP ’80. Association for Computing Machinery: 136—143. doi:10.1145/800087.802799. ISBN 9781450373968.