Esperanza (lenguaje de programación)

Hope es un lenguaje de programación basado en programación funcional desarrollado en la década de 1970 en la Universidad de Edimburgo . ^{[ 1 ] [ 2 ]} Es anterior a Miranda y Haskell y es contemporáneo de ML , también desarrollado en la universidad. Hope se derivó de NPL , ^{[ 3 ]} un lenguaje funcional simple desarrollado por Rod Burstall y John Darlington en su trabajo sobre transformación de programas. ^{[ 4 ]} NPL y Hope son notables por ser los primeros lenguajes con evaluación por patrón y tipos de datos algebraicos . ^{[ 5 ]}

Hope recibió su nombre en honor a Sir Thomas Hope (c. 1681–1771), un reformador agrícola escocés , de quien también se nombró Hope Park Square en Edimburgo , donde se ubicaba el departamento de inteligencia artificial en el momento del desarrollo de Hope.

La primera implementación de Hope utilizaba evaluación estricta , pero desde entonces han surgido versiones con evaluación perezosa y versiones estrictas con constructores perezosos. Un lenguaje sucesor, Hope+, desarrollado conjuntamente por el Imperial College e International Computers Limited , añadió anotaciones para indicar si se debía utilizar evaluación estricta o perezosa. ^{[ 6 ]}

Un programa factorial en Hope es:

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

Cambiar el orden de las cláusulas no altera el significado del programa, ya que la coincidencia de patrones de Hope siempre da prioridad a los patrones más específicos. En Hope se requieren declaraciones explícitas de los tipos de datos ; no existe un algoritmo de inferencia de tipos .

Hope proporciona dos estructuras de datos integradas : tuplas y listas . ^{[ 7 ]}

El tutorial de Hope de Roger Bailey en el número de agosto de 1985 de Byte hace referencia a un intérprete para IBM PC DOS 2.0. ^{[ 7 ]} British Telecom se embarcó en un proyecto con el Imperial College de Londres para implementar una versión de Hope. La primera versión fue codificada por Thanos Vassilakis en 1986. Las versiones posteriores fueron codificadas por Mark Tasng de British Telecom.

• Intérprete Hope para Windows
• Entrada en el diccionario en línea de lenguajes de programación.