Le livre interactif
L'Introduction élémentaire est un cours de quinze chapitres, en anglais, français, arabe et haoussa. Les trois dernières sont des brouillons : aucun locuteur natif n'a encore relu une seule de leurs 35 unités. On le lit dans le lecteur, une page de ce site construite en exécutant chaque cellule de chaque chapitre dans chaque langue : la construction est rouge si une cellule échoue ou si la promesse d'un exercice n'est pas tenue.
Cette page parle du cours. La plateforme a son propre livre : Mansour Ayouni, Softanza : la plateforme logicielle gouvernée de l'ère de l'IA (deuxième des livres AYOUNI), AYOUNI, 2026, brouillon. Il est en ligne, en brouillon : le livre Softanza.
Le même chapitre s'ouvre par la même phrase dans les quatre langues, et la même cellule s'exécute dans chacune. Les éditions française, arabe et haoussa portent, sur chaque chapitre et chaque page de monde, une note dans leur propre langue disant qu'elles attendent la relecture d'un locuteur natif : 0 unité sur 35 a été relue (le bilan). C'est écrit sur la page, pas caché.
Haoussa · Nemo, sannan ka aiwatar
Kowane wurin aiki yana karɓar buƙatu: gidan abinci yana karɓar oda, banki yana karɓar tikiti, kuma buƙata ɗaya takan zo fiye da sau ɗaya.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
Français · Trouver, puis agir
Tout lieu de travail reçoit des demandes : un restaurant reçoit des commandes, une banque reçoit des tickets, et la même demande arrive souvent plusieurs fois.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
La couche naturelle de la bibliothèque comprend une instruction dans les quatre langues du cours et l'exécute :
? @@( Naturally("Create a list with [ 5, 3, 5, 1 ] and remove its duplicates").Result() )
? @@( NaturallyIn("ha", "Yi jeri dauke [ 5, 3, 5, 1 ] cire maimaitattu").Result() )
? @@( NaturallyIn("ar", "أنشئ قائمة مع [ 5, 3, 5, 1 ] أزل التكرارات").Result() )[ 5, 3, 1 ] [ 5, 3, 1 ] [ 5, 3, 1 ]
exécuté le 2026-09-30 à 23:10 par demo(s'ouvre dans un nouvel onglet), dernière ligne « DEMO: 20 proved, 0 not proved », en 49 secondes
La preuve de chaque chapitre
Chaque cellule du livre mène à sa preuve : une page par chapitre dit ce que le garde du cours a trouvé en exécutant ce chapitre dans ses quatre éditions, cellule par cellule, et comment le refaire.
- 1 · Trouver, puis agir 8 cellules, 7 promesses tenues · 1 exercices qui s'éprouvent
- 2 · Une première phrase 5 cellules, 6 promesses tenues · 1 exercices qui s'éprouvent
- 3 · Lire le nom comme une phrase 7 cellules, 10 promesses tenues · 1 exercices qui s'éprouvent
- 4 · Le dire dans votre langue 6 cellules, 10 promesses tenues · 1 exercices qui s'éprouvent
- 5 · Un objet, toute structure 6 cellules, 12 promesses tenues · 1 exercices qui s'éprouvent
- 6 · Marcher, demander, produire, agir 6 cellules, 10 promesses tenues · 1 exercices qui s'éprouvent
- 7 · Déclarer le quoi, pas le comment 5 cellules, 11 promesses tenues · 2 exercices qui s'éprouvent
- 8 · Les motifs dans le texte 4 cellules, 9 promesses tenues · 1 exercices qui s'éprouvent
- 9 · Les motifs dans la structure 5 cellules, 11 promesses tenues · 1 exercices qui s'éprouvent
- 10 · Quand le code rencontre les cellules 5 cellules, 9 promesses tenues · 1 exercices qui s'éprouvent
- 11 · Dessiner la réponse 5 cellules, 13 promesses tenues · 2 exercices qui s'éprouvent
- 12 · Enseigner un monde 5 cellules, 9 promesses tenues · 2 exercices qui s'éprouvent
- 13 · La question du manque 6 cellules, 10 promesses tenues · 2 exercices qui s'éprouvent
- 14 · Un agent qui ne peut pas nuire 7 cellules, 14 promesses tenues · 3 exercices qui s'éprouvent
- 15 · Écrire une narration 4 cellules, 8 promesses tenues · 3 exercices qui s'éprouvent
exécuté le 2026-10-08 20:15 dans la bibliothèque au commit 4a184e6f0, en 246.4 s pour tout le livre