Séminaire général de l'Institut d’histoire et de philosophie des sciences et des techniques

Intervention de Warren Sack, professeur au Film & Digital Media Department de la University of California et chercheur en résidence à l'IEA de Paris en 2015 et 2016, lors du séminaire général de l'Institut d'histoire et de philosophie des sciences et des techniques (IHPST) de l'Université Paris 1 Panthéon-Sorbonne.

Evénement en présentiel, intervention de Warren Sack en anglais. 
Organisé par l'IHPST.

Programme

Intervention de Warren Sack autour de son article publié en juillet 2025 dans Philosophies journals "Interfacing Programming Language Semantics and Pragmatics: What does “hello, world” mean?". 

Résumé de l'article :

En 1978, Brian Kernighan et Dennis Ritchie ont insisté pour que le premier programme écrit dans un nouveau langage soit celui qui affiche les mots « hello, world ». Depuis lors, « hello, world » a souvent été le premier exercice des cours d'initiation à la programmation. D'un côté, cela semble être un bon premier programme, car il fait apparaître à l'écran quelque chose de familier : une salutation. D'un autre côté, c'est extrêmement étrange. Comment peut-il être compris comme une salutation ? Qui salue qui ? Malheureusement, la plupart des moyens formels permettant de définir les langages de programmation n'aident guère à attribuer une signification au programme « hello, world ». On fait valoir que la faiblesse des anciennes théories et méthodes de sémantique des langages de programmation est due à la ségrégation historique et disciplinaire (en logique, sémiotique et linguistique) de la sémantique en tant qu'étude distincte de la syntaxe et de la pragmatique. S'appuyant à la fois sur des travaux plus récents en sémantique des langages de programmation qui traitent des effets secondaires et sur la conception des langages de programmation basée sur les actes de langage, cet article propose une réintégration possible de la sémantique et de la pragmatique afin de mieux définir la signification de « hello, world » et des langages de programmation utilisés pour produire des actes de langage de manière plus générale.

Plus d'informations