10 octobre 2004, à 19:28

Surveille ton langage


En linguistique, l'hypothèse Sapir-Whorf postule que la langue que nous parlons affecte la manière dont nous pensons. Plus exactement, affecte la manière dont nous concevons le monde. L'envie de vérifier cette hypothèse a donné naissance au Lojban, un langage artificiel dont la grammaire propose plusieurs manières structurées de formuler des concepts proches, et permet d'être étonnament précis tout en restant utilisables par un humain lors d'une conversation.

L'hypothèse Sapir-Whorf reste donc à ce jour une conjecture. Cependant, en informatique, elle semble vérifiée régulièrement. En effet, il existe plusieurs paradigmes de programmation, dont les plus connus sont la programmation impérative (en C, Java, etc.) où l'on décrit les instructions à exécuter l'une après l'autre, et la programmation fonctionnelle, où l'on s'intéresse à des fonctions et à leurs valeurs. On sait que tous les langages de programmation sont équivalents à une machine de Turing universelle, et donc sont tous aussi puissants les uns que les autres. Pourtant, il existe des algorithmes qui semblent « naturels » dans un paradigme et sont très difficiles à formuler dans un autre. Tout programmeur habitué à un langage impératif qui s'est essayé à la programmation fonctionnelle (ou l'inverse) en a fait la dure expérience. C'est une des raisons pour laquelle il existe une telle diversité de langages de programmation.

Il semble difficile de mélanger deux paradigmes (bien que certains langages le fassent). Il est aussi difficile de changer de paradigme temporairement pour résoudre un problème. Affirmation subjective: un bon langage de programmation est un langage qui reste fidèle à son paradigme « d'origine », mais qui sait faire en sorte que les tâches « appartenant » à d'autres paradigmes soient formulables de manière naturelle. Le langage Ruby est un bon exemple de langage impératif (objet) qui sait incorporer de manière naturelle des éléments fonctionnels.


Posté par Yusei | Permalink | Catégories: Philosophie, Sans intérêt