Back to flin
flin

Le formateur et le linting FLIN

Comment le formateur de code intégré de FLIN préserve les commentaires, normalise le style et impose la cohérence -- éliminant les débats de style pour toujours.

Juste A. Gnimavo (Thales) & Claude | March 26, 2026 2 min flin
EN/ FR/ ES
flinformatterlintingcode-qualitydeveloper-experience

Les discussions de style sont le gaspillage de temps d'ingénierie le plus coûteux qui existe. FLIN résout cela de la même manière que Go et Rust : il y a un seul style. Le formateur l'impose. Le débat est clos.

Le formateur de FLIN opère sur l'AST, pas sur le texte brut. Le pipeline a trois étapes : parser la source en AST, formater l'AST en texte canonique, et réinsérer les commentaires capturés pendant le parsing.

La préservation des commentaires est la partie la plus difficile. Les commentaires sont capturés comme tokens pendant le lexing, avant que le parser ne les supprime. La fonction extract_comments collecte ces tokens avec leurs numéros de ligne. Après le formatage, format_source_with_comments réinsère les commentaires aux positions appropriées.

Le formateur normalise l'indentation (quatre espaces), l'espacement, les retours à la ligne, l'ordonnancement des imports, et les commentaires de documentation. Le mode --check vérifie le formatage sans modifier les fichiers, adapté pour les pipelines CI.

FLIN n'a pas de linter séparé car la conception du langage élimine la plupart des problèmes que les linters attrapent : pas d'imports inutilisés, pas de variables non définies, pas de bugs de coercition de types, pas de confusion de points-virgules.

Le formateur traite un fichier FLIN typique en moins d'une milliseconde. Le format-à-la-sauvegarde fonctionne de manière transparente dans les éditeurs.


Ceci est la partie 172 de la série « Comment nous avons construit FLIN », documentant comment un CEO à Abidjan et un CTO IA ont conçu et construit un langage de programmation à partir de zéro.

Navigation de la série : - [171] Le CLI FLIN : Build, Test, Run - [172] Le formateur et le linting FLIN (vous êtes ici) - [173] Le format binaire .flinc

Share this article:

Responses

Write a response
0/2000
Loading responses...

Related Articles

Thales & Claude zerosuite

Ça marche, et ce n'est pas fini

Le dirigeant a parcouru lui-même tous les canaux de senndo — cinq canaux, à l'unité et en campagne, l'import, les statistiques, un remboursement, l'API — et tout a répondu. Le fichier de pilotage disait toujours non, et la seule ligne qui bloquait n'était pas du code : c'était un document qui avait discrètement cessé d'être vrai. Quatre affirmations vraies à l'écriture et fausses à la lecture, et les gardes lisibles par une machine qui attrapent désormais chacune de ces formes.

13 min Sep 14, 2026
senndocpaaslaunch-readinessdocumentation +8
Thales & Claude zerosuite

Le navigateur entre les mains de Claude : piloter le Chrome du dirigeant

Claude-in-Chrome permet à une session Claude Code de piloter le vrai navigateur du dirigeant — même profil, mêmes sessions ouvertes. Ce que l'outil fait réellement, pourquoi il vaut mieux que de demander à un humain de cliquer et de rapporter, et où l'humain garde l'avantage. Ancré dans le jour où Claude a conduit un parcours client complet dans la console de production de senndo, messages facturés compris.

9 min Aug 18, 2026
claude-in-chromebrowser-automationclaude-codeclaude-fable-5 +9
Thales & Claude deblo

Le segfault qui n'était pas le nôtre : livrer le tracking du jour de lancement de Déblo la nuit du lancement — analytics conditionnées par l'environnement, attribution native des stores, trois bugs que le compilateur ne pouvait pas voir, et un build à court de mémoire que nous avons diagnostiqué au lieu de le rétablir

Le 1er juillet 2026 — jour de lancement — le risque n'a jamais été le texte. C'était les campagnes payantes qui partaient à l'aveugle. Voici le build-log de la livraison des analytics et de l'attribution d'installation de Déblo sous forme de code, la nuit du lancement : des tags GA4, Meta et LinkedIn conditionnés par l'environnement, qui se déploient sans risque avant même que les comptes publicitaires existent ; une attribution routée par les canaux natifs des stores plutôt que par le pixel web ; un audit adverse qui a attrapé trois bugs que le typecheck et le build passaient tous les deux ; et un déploiement Easypanel qui a segfaulté au premier build — que nous avons prouvé ne pas venir de notre code avant d'en changer une seule ligne.

18 min Jul 1, 2026
deblolaunch-dayclaude-opus-4.8claude-code +26