Démarrer
Un dépôt public, une installation en trois étapes, un premier programme, le lecteur du cours comme page de ce site. Chaque commande de cette page a été exécutée le soir de la publication.
L'exécution, en clair Softanza tourne aujourd'hui sur sa face Ring, gardée pour que le code déjà écrit continue de fonctionner. Ring++ est le pont, en construction. Haro est la destination.
Qui êtes-vous ?
Chaque lecteur a une page qui lit tout le site depuis sa place : par où commencer, le chemin, et les pages qui comptent pour lui.
- Pour un programmeur · Vous écrivez l'application ; Softanza en est la partie qui se lit comme une phrase.
- Pour un analyste ou un concepteur · Vous connaissez le monde du métier ; vous le déclarez, et il devient quelque chose qui tourne.
- Pour un architecte · Vous répondez de toute la verticale, de la machine à l'organisation.
- Pour un décideur · Un directeur technique, un État, une entreprise : ce que vous adopteriez, et ce qui est prouvé.
- Pour un enseignant ou un auteur · Vous enseignez, concevez des cours ou écrivez sur le code : tout ici s'exécute, dans la langue de vos apprenants.
- Pour un agent d'IA · Un agent, ou la personne qui en déploie un : quoi lire, et ce que l'agent peut faire.
Le dépôt
Tout est au même endroit : la fondation, son moteur, ses gardes, ses narrations et son cours.
github.com/mayouni/stzlib
Public sous licence MIT depuis le 12 mars 2022. Les tickets, les avis de sécurité et tout l'historique y sont.
Installer
Trois étapes. Rien ne s'installe au sens d'un installateur : un dossier, copié, et l'exécutant qui le lance.
1. Prendre le dépôt.
git clone https://github.com/mayouni/stzlib.git cd stzlib/libraries/stzlib
2. Prendre l'exécutant, version 1.27.0, celle avec laquelle ces pages ont été exécutées, sur ring-lang.net(s'ouvre dans un nouvel onglet). Lancer l'exécutant sans argument affiche sa version, ce qui montre qu'il est là. Le moteur Zig est livré en bibliothèques compilées pour Windows et se construit pour Linux et macOS depuis la source ; le dépôt dit comment.
3. Écrire le premier programme. Dans le dossier libraries/stzlib, créer un fichier first.ring dont la première ligne charge la bibliothèque, puis le programme de la section suivante :
load "stzLib.ring"
Le lancer depuis ce dossier :
ring first.ring
Le premier lancement prend environ sept secondes, parce que la bibliothèque et son moteur se chargent.
Le premier programme
o1 = new stzList([ "A", "", "B", "", "", "C" ])
? o1.ContainsEmptyStrings()
? Q("Softanza").Boxed()1 ┌──────────┐ │ Softanza │ └──────────┘
exécuté le 2026-10-09 à 00:52 par ring first.ring depuis libraries/stzlib, en 6,9 secondes, Softanza au commit 4a184e6f0(s'ouvre dans un nouvel onglet)
Quelle page répond à quoi
Le site a une page par sorte de question. Quand vous ne connaissez pas un nom, appuyez sur / ou Ctrl+K sur n'importe quelle page : la recherche trouve les classes, les méthodes, les domaines et les recettes.
| Vous voulez | Ouvrez |
|---|---|
| apprendre la façon de penser, pas à pas | Apprendre, puis le cours interactif |
| faire une tâche tout de suite, comme retirer les doublons | Comment faire |
| savoir exactement ce que fait une méthode, et ses autres formes | Référence, ou la recherche |
| voir tout ce qu'offre un domaine, des chaînes aux cartes | Les domaines |
| comprendre pourquoi une partie a été conçue ainsi | Narrations |
| savoir ce qui est construit et ce qui ne l'est pas encore | Preuves |
| décider si une organisation devrait l'adopter | Organisations |
| y diriger un agent d'IA | Pour les agents |
La première narration
Une narration est un document qui raconte une partie de la bibliothèque comme une histoire, en code écrit pour être exécuté au fil de la lecture. Commencez par le modèle mental, puis les agents qui ne peuvent pas vous nuire.
Pour voir une narration jugée bloc par bloc, ouvrez Repetition with Elegance, exécutée pour ce site : ses six blocs affichent ce qu'ils promettent. Les 135 sont listées sous Apprendre, dans Narrations.
Le lecteur du cours
Le lecteur est une page de ce site : ouvrir le lecteur. Il a été construit depuis la bibliothèque le 2026-09-30, et la page Apprendre dit comment apprendre avec lui, étape par étape. Pour le reconstruire vous-même, depuis votre copie du dépôt :
cd libraries/stzlib/base/education/tools ring build_reader.ring reader.html
exécuté le 2026-09-30 à 23:02 : « 15 of 15 chapters, 3 of 3 world pages », chaque édition verte, en 3 minutes 22 secondes
Et pour jouer la démonstration de quinze minutes pour décideurs, dont la dernière ligne doit dire « DEMO: 20 proved, 0 not proved » :
cd libraries/stzlib/base/education/demo ring demo.ring rehearsal
exécuté le 2026-09-30 à 23:10, en 49 secondes, 20 preuves sur 20
Votre première application
Un premier programme est une liste. Une première application est un monde : votre première application dit de quoi il est fait et quelle narration en construit un, et la page des applications dit ce qui le porte et quelles surfaces existent.
Écrire
Les questions, les rapports de défaut et les propositions passent par les tickets du dépôt GitHub(s'ouvre dans un nouvel onglet). Une faille de sécurité se signale en privé par les avis de sécurité du dépôt, comme le dit son SECURITY.md(s'ouvre dans un nouvel onglet). Une édition du cours dans votre langue commence par un dossier de chapitres en texte brut : la page Apprendre dit comment le tribunal du cours la jugera. La page Éditions dit ce qui existe aujourd'hui et ce qui est à venir.
Vérifier ce site hors ligne
Avant une présentation sans réseau, ouvrez deck-check.html depuis le dossier du site : la page charge chaque ressource dont la présentation a besoin et dit laquelle manque.