Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
logiciel:programmation:noweb:start [2021/02/17 21:00] – ↷ Liens modifiés en raison d'un déplacement. adminlogiciel:programmation:noweb:start [2022/08/13 21:57] (Version actuelle) – modification externe 127.0.0.1
Ligne 4: Ligne 4:
  
 Voir les traductions de : Voir les traductions de :
-  * A One-Page Guide to Using noweb with LATEX : [[logiciel:programmation:noweb:noweb-1page]] +  * A One-Page Guide to Using noweb with LATEX : [[logiciel:programmation:noweb:noweb-1page:start]] 
-  * The noweb Hacker’s Guide : [[logiciel:programmation:noweb:hacker]]+  * The noweb Hacker’s Guide : [[logiciel:programmation:noweb:hacker:start]]
  
-====== Man Noweb ======+===== Man Noweb =====
  
 literate programing literate programing
Ligne 129: Ligne 129:
                                 local 3/28/2001                       NOWEB(1)                                 local 3/28/2001                       NOWEB(1)
  
-====== Introduction ======+===== Introduction =====
  
 Programmation Lettrée en utilisant noweb (Andrew L. Johnson and Brad C. Johnson, December 19, 2000) Programmation Lettrée en utilisant noweb (Andrew L. Johnson and Brad C. Johnson, December 19, 2000)
Ligne 152: Ligne 152:
 Beaucoup d'outils ont été créés pour la programmation lettrée, la plupart fondés, directement ou conceptuellement, sur le système de WEB créé par D. E. Knuth [cf. 1984.  Literate Programming. The Computer Journal (27)2:97-111]. Cet article présente **noweb** de Normand Ramsey - un instrument de programmation lettrée simple à utiliser, extensible et indépendant du langage de programmation. Beaucoup d'outils ont été créés pour la programmation lettrée, la plupart fondés, directement ou conceptuellement, sur le système de WEB créé par D. E. Knuth [cf. 1984.  Literate Programming. The Computer Journal (27)2:97-111]. Cet article présente **noweb** de Normand Ramsey - un instrument de programmation lettrée simple à utiliser, extensible et indépendant du langage de programmation.
  
-===== Aperçu du Système noweb =====+==== Aperçu du Système noweb ====
  
 Pour écrire un programme lettré pour **noweb**, créez un fichier texte simple, traditionnellement d'extension **.nw**) dans lequel vous fournissez toute la documentation technique des différentes parties du programme, avec le code source réel de chaque partie du programme. Pour écrire un programme lettré pour **noweb**, créez un fichier texte simple, traditionnellement d'extension **.nw**) dans lequel vous fournissez toute la documentation technique des différentes parties du programme, avec le code source réel de chaque partie du programme.
Ligne 292: Ligne 292:
 Comme la plupart des outils de programmation lettrée, noweb compte se base sur TEX ou LATEX pour se référer ou mettre en forme la documentation (bien qu'il puisse aussi produire un fichier). Il n'est cependant pas nécessaire d'être un guru en LATEX pour produire de bons résultats car le plus dur du travail est fait automatiquement par noweave. Comme la plupart des outils de programmation lettrée, noweb compte se base sur TEX ou LATEX pour se référer ou mettre en forme la documentation (bien qu'il puisse aussi produire un fichier). Il n'est cependant pas nécessaire d'être un guru en LATEX pour produire de bons résultats car le plus dur du travail est fait automatiquement par noweave.
  
-===== La documentation mise en forme =====+==== La documentation mise en forme ====
  
 Figure 1 le texte mis en forme Figure 1 le texte mis en forme
Ligne 354: Ligne 354:
 Notre documentation finit avec deux indices optionnels fournis par noweb : l'index des morceaux codés et un index d'identificateurs. Notre documentation finit avec deux indices optionnels fournis par noweb : l'index des morceaux codés et un index d'identificateurs.
  
-===== L'écriture du Programme dans noweb =====+==== L'écriture du Programme dans noweb ====
  
 Connaissant ce qui sort du pipeline dans la main, nous pouvons aborder la structure du fichier source nw lui-même. Connaissant ce qui sort du pipeline dans la main, nous pouvons aborder la structure du fichier source nw lui-même.
Ligne 412: Ligne 412:
 compiler or interpreter. compiler or interpreter.
  
-===== The Incantations. =====+==== The Incantations. ====
  
 Now that we know to create a program in noweb we can examine the methods of Now that we know to create a program in noweb we can examine the methods of
Ligne 488: Ligne 488:
 footnotes. footnotes.
  
-====== Pré-requis ======+===== Pré-requis =====
  
-====== Installation ======+===== Installation =====
  
-====== Configuration ======+===== Configuration =====
  
-====== Utilisation ======+===== Utilisation =====
  
-====== Désinstallation ======+===== Désinstallation =====
  
-====== Conclusion ======+===== Conclusion =====
  
 Admittedly, a literate program in general takes a little more time and effort to Admittedly, a literate program in general takes a little more time and effort to
Ligne 514: Ligne 514:
 teaching tools. teaching tools.
  
-====== Availability and Notes ======+===== Availability and Notes =====
  
 noweb was written by Norman Ramsey, and pointers to obtaining the source noweb was written by Norman Ramsey, and pointers to obtaining the source
Ligne 528: Ligne 528:
 tangling, and some pretty printing macros. tangling, and some pretty printing macros.
  
-====== Voir aussi ======+===== Voir aussi =====
  
   * **(en)** [[https://www.cs.tufts.edu/~nr/noweb/johnson-lj.pdf]]   * **(en)** [[https://www.cs.tufts.edu/~nr/noweb/johnson-lj.pdf]]

Piste : • Scrcpy : Afficher et contrôler des appareils Android sous Ubuntu • LEMP : un serveur avec Linux, Nginx, MariaDB, PHP • Gnucash : Mode d'emploi • @!PAGE@ • Cloud : espace disque sur internet • Clonezilla • Se connecter à Internet avec une clé 4G • Auto-entreprise : création et gestion • Fichiers PDF • Première configuration de Windows 10