Les innovations
Quarante-sept idées de Softanza qui lui sont propres, chacune avec la ligne du registre, ses preuves et les pages qui la racontent. Trois ouvrent la liste, et certaines ne sont pas encore racontées sur ce site.
L'Atlas est une anatomie de domaines, et un paradigme n'a pas de domaine : il les traverse. Ce registre est l'endroit où ces idées sont listées ensemble. Les trois qui l'ouvrent, la programmation orientée portée, Reaxis et le modèle de langage du domaine, sont celles que l'auteur a nommées comme à mettre en lumière.
conçu Une évaluation extérieure a lu quatre inventaires de la bibliothèque au commit 93d7a39 le 2026-10-07 (les narrations, les documents de conception, les douze moteurs de paradigme du moteur, la liste d'un lecteur extérieur) et les a croisés avec le code et les gardes. La colonne des preuves compte les fichiers qui nomment une chose, pas des tests qui passent. La ligne 47 a été ajoutée plus tard, quand répondre par l'exemple a été rédigé.
Paradigmes
- 1 · La programmation orientée portée
le cadre invisible qui gouverne un comportement, soigné en quatre gestes : nommer le cadre, le fermer en quelques portées nommées, choisir la portée dans le verbe, donner la portée à la bibliothèque pour raisonner
Preuves : une conception de 450 lignes; quatre instances
Raconté ici : pas encore raconté sur ce site - 2 · L'échelle du Softanzuter
motif, puis Xuter, puis Softanzuter, puis agent : un motif lié à du code, des facultés partageant un état, un esprit avec un but
Preuves : deux moteurs, 15 blocs de test
Raconté ici : Le Softanzuter · Softanza Regexuter: Regex as Computational Reactive Medium - 3 · Reaxis
la programmation réactive dite en mots simples : un Container, un Stream, une Rfunction au lieu d'un rappel
Preuves : 10 fichiers de code, 59 fichiers de test, 2 modules du moteur
Raconté ici : Reaxis: A Natural Model for Reactive Programming in Haro, by Softanza · The Great Simplification: How Reaxis Dissolves Decades of Reactive Programming Complexity - 4 · La programmation presque naturelle
lisible comme une langue, exécutable comme du code, sans modèle
Preuves : 3 articles, 2 conceptions
Raconté ici : Naturel, et exécutable · **Natural Language Programming, Reimagined: The stzNatural Class in Softanza** · Near-Natural Programming: Bridging Human Thought and Code Execution - 5 · La programmation par la connaissance
un fichier de connaissance devient un système opérationnel
Preuves : 71 fichiers
Raconté ici : Softanza Knowledge Porgramming: Crafting the Semantics of Thought - 6 · Les fonctions comme expressions de la langue
un nom est une phrase : le verbe dit ce qui arrive et la forme du mot dit comment
Preuves : 6,090 balises
Raconté ici : Comment Softanza s'écrit · Writability vs. Readability of Computer Code— Softanza Asks: Why NOT Both? · Softanza: Functions as Linguistic Artifacts - A Comprehensive Narration - 7 · Les quatre métaphores
marcher, vérifier, produire, agir, au lieu d'une boucle qui cache son geste
Preuves : 3 articles
Raconté ici : Comment Softanza s'écrit · Beyond Loops: The Walker Metaphor in Softanza - 8 · Le code conditionnel, W et WF
une condition voyage dans un argument et le moteur la compile
Preuves : 1 article
Raconté ici : Comment Softanza s'écrit · Conditional Code in Softanza — Constraining Functions with W and WF - 9 · Les actions futures
planifier d'abord une suite, puis l'exécuter d'un seul coup
Preuves : 1 article, 2 tests
Raconté ici : Programming the Future, Litterally, in Softanza - 10 · La programmation centrée sur le raffinement
des points de raffinement et une porte en quatre étapes
Preuves : gardes 17/17 et 24/24
Raconté ici : Raffinement · Refinement-Centered Programming with stzPolyCode - 11 · Le wise coding
Softanza demande ; ce qui est admis est gouverné
Preuves : gardes 13/13 et 52/52
Raconté ici : Wise coding - 12 · Des agents qui ne peuvent pas vous nuire
l'esprit est programmatique par défaut ; un modèle est une faculté parmi d'autres
Preuves : 261 assertions
Raconté ici : Agentique · Agents That Cannot Hurt You - 13 · Le modèle de langage du domaine
la prochaine chose que dit le modèle est une unité vérifiable de votre monde, un fait que vos règles admettent ou refusent, jamais un jeton
Preuves : garde : 16/16; le contrat de sortie structurée
Raconté ici : pas encore raconté sur ce site - 47 · Répondre par l'exemple
montrez-le : la bibliothèque le trouve, le prouve, et garde votre exemple comme test
Preuves : 9,311 exemples promis; l'agent est déclaré et réservé
Raconté ici : Par l'exemple
Les douze moteurs de paradigme
- 14 · Le moteur de vérité
la vérité n'est pas binaire
Preuves : 3 fichiers de code, 3 tests
Raconté ici : DeepContains still reports that "X" exists down inside the nested list - 15 · Les quantificateurs probabilistes
peu, certains, la plupart, tous, chacun avec son seuil
Preuves : 5 fichiers de code, 13 tests
Raconté ici : Probabilistic Quantifiers in Softanza: Natural Proportions Meet Logical Precision - 16 · Le moteur des adverbes
de rapide à rapidement, pour que la bibliothèque s'explique
Preuves : 1 fichier de code, aucun test; un module du moteur
Raconté ici : From "Quick" to "Quickly": Programmatic Adverb Formation · Smart Adverb Generation in Softanza - 17 · La ligne du temps
des points, des intervalles, des zones bloquées et un raisonnement sur leurs contraintes
Preuves : 7 fichiers de code, 69 tests; un module du moteur
Raconté ici : **Time Modeling in Softanza using stzTimeLine** · Temporal Design Philosophy of stzTimeLine - 18 · Le navigateur de grille
un curseur sur deux dimensions qui connaît ses directions
Preuves : 10 fichiers de code, 40 tests; un module du moteur
Raconté ici : The Navigator's Grid: Mastering stzGrid in the Softanza Library - 19 · La fusion de sections
l'arithmétique des intervalles, avec trois stratégies
Preuves : 5 fichiers de code, aucun test; un module du moteur
Raconté ici : Understanding Section Merging Features in Softanza - 20 · Les opérations profondes
le parcours par chemins des listes imbriquées
Preuves : 14 fichiers de code, 37 tests; un module du moteur
Raconté ici : Taming Deep Lists with Softanza - 21 · Les variables nommées
des noms dynamiques, et les variables d'autres langages simulées
Preuves : 1 fichier de code, aucun test; un module du moteur
Raconté ici : Named Variables in Softanza: the What, Why and How! - 22 · Le pont polyglotte
R, Python, Julia et COBOL dans un même programme
Preuves : 4 articles, une conception de 1,986 lignes
Raconté ici : Langue des langues · Softanza EXCIS: Orchestrating a Polyglot Symphony · Softanza ExterLib: A Foundation for Domain-Driven Polyglot Programming
Motifs et réaction
- 23 · Les six langages de motifs
l'expression régulière élevée à six supports : listes, nombres, tables, temps, matrices, graphes
Preuves : 13,385 lignes; 8 articles
Raconté ici : Softanza Listex: Bringing Pattern Matching to Lists · stzNumbrex: A Pattern Language for Numbers · stzTimex: A Pattern Language for Time in Softanza - 24 · RegexMaker et RegexData
un motif déclaré, pas écrit à la main
Preuves : 2 articles
Raconté ici : The Softanza RegexMaker: Making Regex Human-Friendly · Simplifying Regular Expressions with the Enhanced stzRegexData Library - 25 · Le @Find unifié
une seule recherche sur tous les supports
Preuves : 1 article
Raconté ici : The Unified @Find() Function in Softanza
Expression et perception
- 26 · L'orientation visuelle
là où l'art ASCII rencontre la visualisation de données : viz, Boxed, l'art des chaînes, le système de tracés
Preuves : 77 fichiers
Raconté ici : An overview of String Art support in Softanza · Softanza Ploting System: Where AsciiArt Meets DataViz · Visual Sequence Finding in Softanza - 27 · L'invisible et le sosie
les caractères Unicode cachés démasqués
Preuves : 2 articles
Raconté ici : Unmasking Unicode Lookalikes · Softanza Eye Sees the Invisible: Unmasking Hidden Unicode Characters - 28 · L'historique des objets
une chaîne garde la trace de chaque valeur tenue
Preuves : 1 article
Raconté ici : The Narrative of Transformations: Tracking Object History in Softanza - 29 · L'idiome des chaînes et des listes
Sit(), l'opérateur /, les espaces en trop, le vide, les doublons, les constructeurs, Diff
Preuves : 10 articles
Raconté ici : Mastering Precision with the Sit() Function · Five Practical Applications on Strings of the / Operator in Softanza · When “different” is not enough: the story behind Diff(), DiffXT() and DiffXTT() in stzList - 30 · L'API des fichiers par intention
au-delà des modes de fichier : dire ce que l'on veut faire
Preuves : 1 article de 552 lignes
Raconté ici : Beyond File Modes: The Softanza Intent-Based Paradigm - 31 · La navigation naturelle dans les dossiers
l'état suit l'action
Preuves : 3 articles
Raconté ici : Natural Folder Navigation in Softanza · Intelligent Folder Navigation in Softanza
Données, temps et raisonnement
- 32 · La programmation du temps
l'heure, la date, la durée et la planification de capacité au calendrier
Preuves : 6 articles
Raconté ici : Time Programming in Softanza: A Gentle Introduction · Time Capacity Planning in Softanza: Mastering Constraints with stzCalendar - 33 · Le graphe et ses organes
25 notations, un planificateur, un langage de requête, l'organigramme
Preuves : 8 articles
Raconté ici : stzGraph: Computational Foundation and Design · Intelligence in Motion: Graph Planning in Softanza - 34 · Les règles comme règles de graphe
des règles qui voient le tableau entier
Preuves : une conception; 1 article
Raconté ici : Rules That See the Whole Picture - 35 · Les nombres repensés
exacts par défaut
Preuves : une conception de 3,167 lignes
Raconté ici : pas encore raconté sur ce site - 36 · Les statistiques, le solveur, les matrices
les statistiques comme langage de pensée
Preuves : 4 articles
Raconté ici : Matrix Computing in Softanza with stzMatrix · Empowering Real-World Applications with Softanza's Linear Solver for Haro
Système, livraison et exploitation
- 37 · La fondation système et le jumeau
trois portées ; répéter, puis engager
Preuves : gardes; modules du moteur
Raconté ici : Your First Taste of Systems Programming - Without the Fear - 38 · Émuler, déployer, approvisionner
toute la solution qui tourne avant d'être livrée
Preuves : 4 articles
Raconté ici : Série livraison · Emulating the Whole Solution - 39 · La virtualisation des services
coder d'abord, s'abonner ensuite
Preuves : un registre
Raconté ici : Code First, Subscribe Later - 40 · Le plan de la performance
le chronomètre honnête, la boucle gouvernée, le jugement
Preuves : 10 articles
Raconté ici : Série performance · The Honest Stopwatch - 41 · Le plan de la sécurité
le registre, la sentinelle, l'exercice, l'attestation
Preuves : 8 articles; une analyse de 815 lignes
Raconté ici : Série sécurité · The Security Ledger - 42 · La lignée de la gouvernance
responsable pour toujours
Preuves : 1 article
Raconté ici : Answerable Forever - 43 · La porte d'entrée et les secrets
l'authentification ; des identifiants qui se masquent eux-mêmes
Preuves : 2 articles
Raconté ici : The Front Door · Guarding Secrets & Credentials - 44 · Journaux, sens et un analyseur qui dit non
la journalisation structurée, les sens du moteur, l'analyseur XML qui refuse, l'accès sûr aux listes de hachage
Preuves : 4 articles
Raconté ici : Structured Logging with stzLog · The Engine Senses · The Parser That Says No
La bibliothèque qui se connaît
- 45 · Le marquage de l'information et l'auto-documentation
chaque unité retrouvable, explicable, conversationnelle
Preuves : une conception de 238 lignes
Raconté ici : Interroger la bibliothèque - 46 · La locale et la culture
la portée mondiale, à la manière Softanza
Preuves : 1 article
Raconté ici : Software Global Reach: Locale Management the Softanza Way