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 deblo

Le Step Zero ne suffisait pas : comment valider un constructeur sans valider le runtime a fait tomber toutes les sessions vocales de Déblo l’heure où nous avons livré le streaming caméra temps réel

La phase 14 a livré Déblo Eyes — streaming caméra temps réel via LiveKit vers Gemini Live native audio. Le premier deploy a fait tomber toutes les sessions vocales en production en quatre-vingt-dix secondes parce que notre Step 0 avait validé le constructeur sans exercer le runtime. Le build log de comment Déblo a eu des yeux, ce qu’un pré-vol incomplet a coûté, et quels points de polish ont été livrés ou reportés.

33 min May 20, 2026
debloclaude-opus-4.7claude-codegemini-live +25
Thales & Claude deblo

Le tiret cadratin qui a tué la production : comment un slogan marketing dans un header HTTP a fait tomber le chat de Déblo pendant 24 heures

Deux jours avant la soumission App Store, tout le produit chat de Déblo s’est cassé silencieusement. Pas de spinner, pas de toast, aucune erreur dans l’UI — juste un silence radio. L’incident de 24 heures se résumait à un seul « é » dans la valeur d’un header HTTP qui levait une UnicodeEncodeError avant qu’aucune requête vers OpenRouter ne quitte le backend. Post-mortem d’une fausse hypothèse, d’une trace Sentry, et d’un fix de six lignes qui a débloqué le lancement.

30 min May 19, 2026
debloclaude-opus-4.7claude-codeincident +19
Thales & Claude deblo

Six heures, d’une page blanche à la review Apple — Comment nous avons soumis Déblo à l’App Store, en direct

Marche à marche en direct de la soumission de Déblo à l’App Store iOS en six heures : ce que les validateurs d’Apple ont rejeté (un superscript Unicode), ce que nous avons corrigé (un Promotional Text gaspillé sur des marques tierces), et les rouages de l’ASO iOS que presque tout le monde rate.

30 min May 13, 2026
debloclaude-opus-4.7claude-codeapp-store +16