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 April 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. ISBN 9781595937667. doi:10.1145/1238844.1238856.
- Bailey, Roger (August 1985). A Hope Tutorial. BYTE 10 (8). Процитовано 1 April 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. ISBN 9781450373968. doi:10.1145/800087.802799.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.