Site d’Emmanuel Saint-James
De l’histoire de l’informatique considérée comme une course d’obstacles épistémologiques
L’expressivité, une perspective abandonnée

Cette suite trop simple ne tient pas compte d’autres phénomènes :

• les influences mutuelles :
  • la récursivité et les expressions fonctionnelles, naguère considérées comme des bizarreries déraisonnables des langages fonctionnels, sont disponibles dans nombre de langages impératifs d’aujourd’hui, et même la capture de continuation déborde la famille des langages fonctionnels dynamiquement typés ;
  • la recherche de motifs par reprise sur échec, idée de base de la programmation logique, est proposée par la plupart des langages de programmation, via une interface avec PCRE, l’interprète d’expressions rationnelles ;
• l’apparition de langages à l’expressivité volontairement restreinte :
  • interdiction d’expressions non typables statiquement, comme en ADA ou en ML et ses successeurs,
  • abandon de la complétude algorithmique, notamment dans les langages d’interrogation de bases de données comme SQL,
  • minimalisme des entrées/sorties pour raison de sécurité des interprètes de langages embarqués comme Javacript,
  • la réflexivité, facilitée en LISP, est découragée voire impossible dans la plupart des langages aujourd’hui ;
• en définitive, l’expressivité n’est plus la perspective suivie, la fiabilité et la sécurité l’ont remplacée.