* Agence Wordpress 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

Agence Wordpress Roubaix

Article:

Une manière d'approche de la programmation recommandée par Donald Knuth peut donner une définition à la programmation lettrée ou programmation littéraire qui est une alternative au paradigme de programmation structurée des années 70.
Donald Knuth, par l'intermédiaire de son ouvrage , la « programmation lettrée» disait qu'il est temps d'améliorer significativement la documentation des programmes et prendre en considération les programmes semblables à des œuvres littéraires reste le meilleur moyen d'arriver à ce résultat.
Notre attitude traditionnelle vis-à-vis de la conception des programmes devrait être revue. Il est nécessaire de compléter notre tâche principale consistant à d'aner à un ordinateur ce qu'il doit accomplir, par un enseignement pour les êtres humains ,de la mission que nous voulons assigner à cet ordinateur.
En auteur, se rapprochant d' un essayiste qui s'attache surtout à l'exposition du sujet et à la perfection du style,le praticien de programmation lettrée,un dictionnaire à la main, devrait choisir avec soin les noms de ses variables et explique la signification de chacune d'elles afin de disposer un programme qui est compréhensible. En effet, les concepts sont avancés d'une manière ordonnée pour la compréhension humaine,et il s'est servi d' un «mix»de méthodes formelles et informelles qui se complètent l'une l'autre. »
— Donald Knuth dans «LiterateProgramming»
La contrainte d'écrire des programmes dans le paramètre nécessaire à l'ordinateur est éloignée du paradigme de programmation lettrée, comme dans la conception de Knuth. A la place, les développeurs ont toute possibilité d'élaborer leurs programmes suivant l'équilibre requis par la logique et le fil de leur idée.A la manière d'un essai, les programmes lettrés sont définis comme une exposition ininterrompue de la logique dans un langage naturel. Dans ce cas de figure, les macros sont insérées même si elles cachent les abstractions et la complexité.
Des outils de programmation lettrée sont utilisés afin d'avoir deux modèles en se basant sur un fichier source lettré.Le code « emmêlé », le premier modèle peut être employé par un compilateur ou exécutable, et pour la lecture,l'autre représentation est employée comme une documentation formatée ( dite « tissée ») à partir de la source lettrée. Les premiers instruments de programmation lettrée étaient uniques à un langage de programmation mais les suivants sont devenus autonomes du langage et existent au-dessus de celui-ci.
La programmation logique peut se définir comme une forme de programmation expliquant les véritables sens des applications à l'aide d' un ensemble de faits élémentaires leur afférent et de règles de logique leur attachant des résultats plus ou moins directes. Un démonstrateur de théorème ou moteur d'inférence exploite ces faits et ces règles en réaction à une question ou requête.
Cette conception de la programmation logique se révèle largement plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait et prise plutôt telle une programmation déclarative qu'impérative.Ce jugement se base sur le fait qu'une large part des successions étant supporté par le moteur, et dans ce cas-là elle s'attache plus au «quoi» qu'au «comment».