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