|
Notations de programmation. Il n'y a pas d'échappatoire| title | Notations de programmation. Il n'y a pas d'échappatoire |
|---|
| start_date | 2023/05/10 |
|---|
| schedule | 18h-20h |
|---|
| online | no |
|---|
| location_info | Bât. G, RdC, salle G04 |
|---|
| summary | Les notations de la programmation sont traditionnellement vues comme interfaces entre les programmeurs et la machine. Couramment, on définie les programmes comme des instructions écrites dans un langage de programmation, mais la programmation peut également se faire à l'aide de diagrammes sur papier ou d'icônes visuelles. Mais est il encore judicieux de parler de programmation quand ce n’est plus une interaction textuelle? Pour répondre à cette question, nous introduisons la notion de programmabilité notationnelle qui est ancrée dans une analyse des développements en mathématiques et en logique des 19ème et 20ème siècles. Là, on retrouve que la signification d’une notation est fondée dans sa capacité de relier deux champs sémantiques distincts. Cette notion de programmabilité s'oppose à celle de la calculabilité. Une notation formelle suffit à prouver des résultats concernant des fonctions calculables. Mais l'utilisation des machines informatiques réelles exige qu'une notation soit le résultat d'une négociation attentive de compromis (“trade-off”) particuliers, constitués par des utilisateurs et des machines spécifiques dans un certain contexte. Cela s'accompagne de certaines pertes et de certains gains dans les significations opérationnelles qui peuvent être exprimées dans un certain système de notation. L'idée de la programmabilité notationnelle, qui est une question de degré, fonctionne également comme une métrique informelle pour décrire dans quelle mesure il est possible de créer, localement, de telles significations opérationnelles dans l'espace entre notre monde humain et les machines.
La pléthore de notations existantes, souvent comparée à la Tour de Babel, est alors une conséquence naturelle de la contextualité de la programmabilité. Plutôt que de se lamenter sur la Tour de Babel notationnelle, nous nous tournons vers la métaphore de la boîte de Pandore. Il n'y a pas d'échappatoire à la multiplicité des notations à moins de renoncer à la programmation réelle et de la remplacer par une interaction dénuée de significations operationnelles. Ca serait la seule malédiction réelle qu'il vaut mieux laisser enfermée dans la boîte.
Cet exposé est une présentation du chapitre “Notations. There is no escape” du livre Qu’est-ce qu’un programme informatique? (à paraître), écrit par l’auteur collectif PROGRAMme. |
|---|
| responsibles | Rebuschi |
|---|
Workflow history| from state (1) | to state | comment | date |
|---|
| submitted | published | | 2023/05/03 15:01 UTC |
| |
|