* Developpeur Magento Roubaix

***Web2007 est un bureau indépendant situé à Genève et a l'habitude de travailler pour des entreprises PARTOUT en France et en Europe

Developpeur Magento Roubaix

Article:

Une manière d'approche de la programmation inspirée par Donald Knuth peut définir la programmation lettrée ou programmation littéraire qui incarne une autre option au paradigme de programmation structurée des années 70.
Donald Knuth, dans son ouvrage intitulé « programmation lettrée» exposait que le temps est venu d'améliorer significativement la documentation des programmes et apprécier les programmes identiques à des œuvres littéraires; c'est le meilleur moyen d'atteindre à ce résultat.
On devrait modifier notre attitude traditionnelle vis-à-vis de la construction des programmes. Il est primordial de changer notre tâche principale, consistant à aner à un ordinateur ce qu'il doit effectuer, par une pédagogie pour les êtres humains, du rôle que nous voulons donner à cet ordinateur.
En auteur, similaire à un essayiste qui associe une importance plus que vitale à l'explication du sujet et à l'excellence du style, le praticien de programmation lettrée, un dictionnaire à la main, devrait effectuer convenablement le choix des noms de ses variables et traduit le sens de chacune d'elles pour avoir un programme compréhensible. En effet, les concepts sont présentés dans le meilleur ordre pour la compréhension humaine, et il a exploité une association de méthodes formelles et informelles qui se complètent l'une l'autre. »
— Donald Knuth dans «LiterateProgramming»
La contrainte par rapport à l'écriture de programmes dans l'ordre demandé par l'ordinateur est détournée du paradigme de programmation lettrée, tel que conçu par Knuth. En remplacement, les développeurs ont toute faculté de former leurs programmes dans l'arrangement voulu par la logique et le fil de leur pensée. A l'image d'un essai, les programmes lettrés sont définis telle une exposition ininterrompue de la logique dans un langage naturel. Dans ce cas, les macros sont comprises bien qu'elles masquent les abstractions et la complexité.
Pour acquérir deux modèles à partir d'un fichier source lettré, des outils de programmation lettrée sont exploités. Une représentation peut être employée par un compilateur ou exécutable, le code « emmêlé », et l'autre représentation destinée à la lecture est utilisée comme une documentation formatée ( dite « tissée ») à la base de la source lettrée. Les premiers instruments de programmation lettrée étaient spécifiques à un langage de programmation mais ceux qui s'en sont suivis sont devenus autonomes du langage et existent au-dessus de celui-ci.
La programmation logique admet comme définition: un modèle de programmation expliquant les véritables significations des applications au moyen d' une association de faits les concernant et de lignes de logique leur attachant des résultats plus ou moins directes. Un démonstrateur de théorème encore appelé moteur d'inférence se sert de ces faits et ces règles en réaction à une question ou requête.
Cette approche de la programmation logique, plutôt prise telle une programmation déclarative que comme une programmation impérative, se montre bien plus souple comparée à la définition d'un enchaînement d'instructions que l'ordinateur exécuterait. Cette évaluation se base sur le fait qu'une large part des successions étant supportée par le moteur et dans ce cas-là, elle s'apparente davantage au «quoi» qu'au «comment».