Hope (язык программирования)

Hope
Класс языка	язык функционального программирования и язык программирования
Появился в	1970-е
Автор	Эдинбургский университет
Разработчик	Эдинбургский университет
Испытал влияние	NPL
Повлиял на	Miranda, Haskell
Лицензия	GNU GPL 2

Hope — функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell.

В журнале Byte за август 1985 впервые опубликовано руководство по языку Hope.

Пример программы вычисления факториала на языке Hope:

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

В отличие от языка Haskell, изменение порядка выражений не изменяет поведения программы, так как в том случае, когда выражение подходит под несколько шаблонов, выбирается наиболее специфичный данному выражению шаблон.

Ссылки

• Сайт языка Hope
• История языка Haskell, в которой высказывается мнение о том, что Hope является первым языком с алгебраическими типами данных.
• Содержание журнала Byte за август 1985
• Интерпретатор языка Hope для Windows