Bloc-notes

Il me semble que les langages informatiques utilisent d'abord la fonction conative, celle qui tente d'obtenir une action de la part du destinataire du message : un programme informatique, c'est tout d'abord une série d'ordres adressés par un programmeur (humain) à une machine (informatique). Par exemple, le programme suivant ordonne à la machine d'afficher un message :

  print("Bonjour");

La fonction référentielle, qui constitue la fonction principale (souvent la seule à laquelle on prête attention) des langages humains, n'occupe qu'une place résiduelle dans les programmes informatiques. On peut la localiser dans les commentaires, qui sont des morceaux de code destinés non pas à donner des ordres à la machine, mais à apporter des informations aux humains (programmeurs) qui seraient amenés à lire le programme. Ainsi dans le programme Perl vu précédemment, un programmeur bien élevé ajouterait un commentaire pour indiquer ce que fait le code à ses collègues dont la langue maternelle n'est pas le Perl :

  # vérifie si la ligne est à peu près de la forme nn-nn-nn-nn-nn
  # où nn est un nombre de deux chiffres
  die "$_ n'est pas un numéro de téléphone valide !"
    unless /^((\d){2}[ \.-]?){4}(\d){2}$/;

La fonction référentielle est en revanche la fonction majeure dans des langages qui ne sont pas des langages de programmation, mais des langages de description. Ainsi le langage HTML décrit une page Web, le langage XML décrit un ensemble de données. Ces langages n'ont aucune action par eux-mêmes, ils ne « servent » à quelque chose que lorsque des programmes écrits à l'aide de ces langages sont lus et interprétés par des programmes écrits dans des langages de programmation : ainsi Internet Explorer ou Firefox, écrits en langage C ou C++, lisent des fichiers écrits en HTML.

De nombreuses instructions ont également un rôle métalinguistique. Il s'agit alors d'ajouter au langage, en utilisant sa syntaxe, de nouveaux éléments de vocabulaire :

  (define (redimensionner largeur hauteur)
     (let* ((largeur-courante (get-largeur-courante))
            (hauteur-courante (get-hauteur-courante)))
     ... )

Ce code écrit en Scheme (dialecte du langage Lisp) définit de nouveaux « mots » de plusieurs natures : redimensionner est une fonction ; largeur, hauteur, largeur-courante et hauteur-courante sont des variables. Ces variables sont des mots très particuliers car elles sont locales, c'est à dire qu'elles ne seront reconnues que dans une partie du texte que constitue le programme. Dans les langages humains, l'invention d'un nouveau mot est exceptionnelle ; lorsqu'un auteur s'y risque, il ne limite pas la validité de ce mot à une partie de son livre (une page, un chapitre), mais espère au contraire que d'autres auteurs, convaincus de son utilité, reprendront ce mot dans leurs écrits.

La fonction phatique n'a guère lieu d'être : la machine est là pour écouter les programmes qu'on lui fait exécuter et il n'y a guère besoin, une fois que le programme a été lancé, de maintenir le lien avec elle. La fonction phatique est toutefois présente en négatif, dans l'instruction qui met fin à l'exécution du programme et rompt la communication :

  exit();

Quant à la fonction expressive, elle paraît difficile à remplir pour un programme informatique puisqu'elle suppose que le même énoncé peut être exprimé de plusieurs manières, qui dénotent des émotions propres à l'émetteur du message. On verra qu'on peut, en informatique, atteindre le même but au moyen de plusieurs programmes différents, mais, une fois le programme écrit en suivant les règles du langage, il n'y a guère qu'une manière de l'« énoncer » : c'est de le faire exécuter par la machine.

La fonction poétique fera l'objet d'une note ultérieure sur le style dans l'écriture d'un programme informatique.

Précédent : la poésie informatique ;
Suivant : la double articulation des langages informatiques.