Back to flin
flin

Valeurs par défaut des entités et correction du toggle

Comment les valeurs par défaut manquantes des champs d'entités causaient le toggle todo de FLIN à toujours définir done=true -- un bug de génération de code caché derrière la sémantique du None.

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

La logique booléenne est censée être simple. Vrai ou faux. Mais quand None entre en jeu, la logique booléenne développe un troisième état qui peut produire des résultats qui semblent corrects en surface tout en étant fondamentalement faux en profondeur.

Le 17 janvier 2026, la case à cocher de toggle de l'application todo avait un défaut persistant : elle pouvait marquer une tâche comme « done » mais ne pouvait jamais la démarquer. Chaque opération de toggle définissait done à true.

La cause : le générateur de code n'émettait que les champs explicitement fournis dans le constructeur d'entité. Todo { title: newTodo.trim() } omettait done, et sans la valeur par défaut false appliquée, le champ était absent. Un champ absent en FLIN s'évalue à None. !None s'évalue à true. Donc chaque toggle produisait true.

La correction a modifié emit_entity_construct() pour appliquer les valeurs par défaut pour tout champ d'entité non explicitement fourni, en consultant le schéma de l'entité.

Le principe révélé : dans un langage avec la sémantique du None, les valeurs par défaut explicites ne sont pas optionnelles -- elles sont structurellement essentielles. Un champ booléen non initialisé n'est pas false -- c'est None, qui se comporte différemment sous la négation.


Ceci est la partie 168 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 : - [167] Bugs d'ordonnancement des entités et de format de temps - [168] Valeurs par défaut des entités et correction du toggle (vous êtes ici) - [169] La crise du choix du modèle d'embeddings

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