Recherche de motifs

4 Strong · 5 Solid · 3 Partial · 0 Emerging

Mesuré contre : PCRE2 · RE2 · Oniguruma · Dossiers : base/regex(s'ouvre dans un nouvel onglet) · Pour les programmeurs : la référence de ce domaine

Repensé depuis les premiers principes

Ce que Softanza a gardé de ce qui marche, et ce qu'elle a repensé, tel que la bibliothèque l'a écrit dans ses documents de conception et ses narrations.

La manière SoftanzaLa recherche de motifs est une même façon de penser pour toutes les données. L'expression régulière en est la porte d'entrée ; Softanza porte la même idée aux listes, aux nombres, au temps, aux tables, aux matrices et aux graphes, et permet de construire un motif avec des mots ou de l'appeler par son nom.

Under the hood it is PCRE2 10.47, statically linked, Unicode always on, with an unusually rich Haro layer (100+ methods, four fluent builder classes, a reactive match-to-code engine). On features it is at PCRE2 parity, with lookaround, backreferences, recursion and conditionals that RE2 and Rust refuse. Where it trails the modern engines is the safety-and-throughput story: no JIT, no linear-time matcher, and the ReDoS knob is not reachable from Haro, although the code for both is already compiled into the binary.

La manière Softanza, exécutée

Ce que Softanza fait autrement dans ce domaine, montré par du code tiré de ses narrations et de ses gardes, et exécuté pour cette page.

Une liste se reconnaît à sa forme, comme une expression régulière reconnaît un texte : un nombre puis une chaîne, de un à trois nombres puis une chaîne, tout sauf un nombre.

# a number, then a string
? Lx("[@N, @S]").Match([42, "hello"])
# one to three numbers, then a string
? Lx("[@N1-3, @S]").Match([1, 2, "end"])
# anything but a number
? Lx("[@!N]").Match(["string"])
? Lx("[@!N]").Match([42])

1
1
1
0

exécuté le 2026-10-15 13:37 dans la bibliothèque au commit 4a184e6f0 ; tiré de base/doc/narrations/stzlistex-pattern-matching-for-lists.md(s'ouvre dans un nouvel onglet)

Un motif tout fait s'appelle par son nom, se compare à une valeur entière et s'explique en mots simples.

rx(pat(:xlsConditionalExpression)) {
	? Match("B2<>C3")
	? Pattern() + NL
	? Explain() + NL
}

1
^.*(?:=|<|>|<>).*$

Matches an Excel conditional expression

exécuté le 2026-10-15 13:37 dans la bibliothèque au commit 4a184e6f0 ; tiré de base/test/regexmaker/02_match.ring(s'ouvre dans un nouvel onglet)

Un motif conditionnel se déclare comme un si/sinon, format de téléphone international ou local, et le constructeur écrit l'expression régulière.

wrxm() {
	IfStartsWith("+")
	ThenMatch("\+1\d{10}")      # International format
	ElseMatch("\d{10}")         # Local format
	? Pattern()
}

(?(?=^\+)\+1\d{10}|\d{10})

exécuté le 2026-10-15 13:37 dans la bibliothèque au commit 4a184e6f0 ; tiré de base/test/regexmaker/34_validate_phone_numbers.ring(s'ouvre dans un nouvel onglet)

Un nombre se reconnaît à ce qu'il est : 17 correspond au motif des nombres premiers, 18 non.

Nx = new stzNumbrex("{@Property(Prime)}")
? Nx.Match(17)
? Nx.Match(18)

1
0

exécuté le 2026-10-15 13:37 dans la bibliothèque au commit 4a184e6f0 ; tiré de base/test/numbrex/02_basic_property_matching.ring(s'ouvre dans un nouvel onglet)

Les articles de ce domaine (10)

• Mastering Regular Expressions with Softanza: A Modern Approach to Pattern Matching 2025
• Simplifying Regular Expressions with the Enhanced stzRegexData Library 2025
• The Softanza RegexMaker: Making Regex Human-Friendly 2025
• Softanza Regexuter: Regex as Computational Reactive Medium 2025
• Softanza Listex: Bringing Pattern Matching to Lists 2025
• stzNumbrex: A Pattern Language for Numbers 2025
• stzTimex: A Pattern Language for Time in Softanza 2025
• stzNumbrex: A Pattern Language for Numbers in Softanza 2025
• stzMatrex: Declarative Pattern Matching for Matrices in Softanza 2025
• stzTablex: Declarative Pattern Matching for Tables in Softanza 2025

Les couloirs, un par un

Les couloirs et leurs notes sont cités tels qu'ils ont été lus à la source, le Read from the source on 2026-09-16.