NPL (lenguaje de programación)

NPL es un lenguaje de programación funcional con coincidencia de patrones diseñado por Rod Burstall y John Darlington en 1977. El lenguaje permite que ciertos conjuntos y construcciones lógicas aparezcan en el lado derecho de las definiciones, por ejemplo:

setofeven(X) <= <:x: x in X & even(x) :>

El intérprete de NPL evalúa la lista de generadores de izquierda a derecha, de modo que las condiciones pueden mencionar cualquier variable ligada que aparezca a su izquierda. Estas se conocían como comprensiones de conjuntos . NPL evolucionó posteriormente a Hope , pero perdió las comprensiones de conjuntos, que reaparecieron en forma de comprensiones de listas en lenguajes funcionales posteriores. ^{[ 1 ]}

• John Darlington (1977). "Transformación y síntesis de programas: capacidades actuales". Informe de investigación n.º 77/43, Departamento de Informática y Control, Imperial College of Science and Technology, Londres.