Hope
Hope este un mic limbaj de programare funcțională dezvoltat în anii ‘70 la Universitatea din Edinburgh.
Acesta este înainte de Miranda și Haskell și este contemporan cu ML, dezvoltat și la universitate.
Speranța a fost derivată din NPL, un limbaj funcțional simplu dezvoltat de Rod Burtall și John Darlington în activitatea lor de transformare a programului.
NPL și Hope sunt notabile pentru faptul că sunt primele limbi cu evaluare a apelurilor și a tipurilor de date algebrice.
Locația Departamentului de Inteligență Artificială în momentul dezvoltării speranței a fost numită și.