NPL (langage de programmation) - NPL (programming language)

Pour d'autres langages de programmation et concepts abrégés en NPL, voir NPL (homonymie) .

NPL est un langage de programmation fonctionnel avec correspondance de motifs conçu par Rod Burstall et John Darlington en 1977. Le langage permet à certains ensembles et constructions logiques d'apparaître sur le côté droit des définitions, par exemple 

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

L'interpréteur NPL évalue la liste des générateurs de gauche à droite afin que les conditions puissent mentionner toutes les variables liées qui apparaissent à leur gauche. Celles-ci étaient connues sous le nom de compréhensions d'ensemble . NPL a finalement évolué en Hope mais a perdu les compréhensions d'ensemble, qui ont fait une réapparition sous la forme de compréhensions de listes dans les langages fonctionnels ultérieurs.

Les références

  • John Darlington (1977). "Transformation et synthèse de programme: capacités actuelles". Rapport de recherche n ° 77/43, Département de calcul et de contrôle, Imperial College of Science and Technology, Londres.

Cet article est basé sur des éléments tirés du dictionnaire gratuit en ligne de l'informatique avant le 1er novembre 2008 et incorporé sous les termes de «renouvellement de licence » de la GFDL , version 1.3 ou ultérieure.