Le 16 janvier 2026, le bouton de suppression de l'application todo a cessé de fonctionner avec une erreur de compilation : Type mismatch: expected Todo, found Todo?. Le gestionnaire d'action générait Todo.find(123) qui retourne Todo? (optionnel), mais la fonction removeTodo attendait un Todo garanti.
La solution suivait le pattern ORM universel : ajouter une méthode .get() qui retourne le type de base (pas optionnel) et lance une erreur si l'entité n'existe pas. La distinction .find() vs .get() encode un principe de conception : .find() est sûr (retourne un optionnel), .get() est assertif (garantit une valeur).
L'implémentation a nécessité des changements dans quatre couches : le vérificateur de types (pour savoir que .get() retourne le type d'entité de base), le bytecode (un nouvel opcode étendu QueryGet), la VM (le gestionnaire qui lance une erreur au lieu de retourner None), et le gestionnaire d'action (utiliser .get() au lieu de .find()).
Ceci est la partie 166 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 : - [165] Le bug du toggle de thème - [166] Le bug de la méthode Entity .get() (vous êtes ici) - [167] Bugs d'ordonnancement des entités et de format de temps