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 jour où Déblo a refusé une bonne réponse — deux fois

Une trace de production a montré Déblo K12 rejetant deux fois de suite la bonne réponse d’un élève de Terminale. Huit heures d’analyse, quatre commits, une rotation A/B de modèles et un benchmark sur 6 modèles plus tard, le tuteur de maths était corrigé. Ce qui a cassé, ce que nous avons changé, et ce que l’échec surprenant de GPT-5.4-mini au test socratique nous a appris sur le choix des modèles pour l’IA éducative.

32 min May 3, 2026
debloclaude-opus-4.7claude-codemethodology +14
Thales & Claude deblo

Web Claude a trouvé le bug. Puis il a failli l’aggraver.

Comment un prompt vocal de 270 lignes pour le tuteur Ultravox de Deblo produisait la même phrase d’accueil scriptu00e9e à chaque appel. Web Claude a diagnostiqué le problème parfaitement, puis a prescrit une correction qui aurait doublé la taille du prompt avec des hooks backend inexistants. Le filtre qui a gardé le diagnostic et rejeté la prescription.

17 min Apr 28, 2026
debloclaude-opus-4.7methodologyprompt-engineering +7
Thales & Claude deblo

Pourquoi j’ai dû corriger Web Claude deux fois sur la stratégie de la page d’accueil de Deblo

Comment une conversation de 48 heures avec Web Claude a failli entraîner Deblo dans le piège généraliste « ChatGPT pour l’Afrique », et pourquoi la connaissance du marché par le fondateur a dû prendre le dessus sur les suggestions stratégiques de l’IA à deux reprises.

26 min Apr 26, 2026
debloclaude-opus-4.7methodologystrategy +6