Un langage de programmation n'est utile que dans la mesure de sa bibliothèque standard. Le répertoire lib/ de FLIN sert de bibliothèque standard au niveau du projet. Quand cette bibliothèque cesse de fonctionner, chaque page qui en dépend casse.
Le 22 janvier 2026, l'application modern-notes refusait de compiler. Les erreurs étaient une cascade d'échecs du vérificateur de types, tous provenant du répertoire lib/. Le type ?T0 est la notation de FLIN pour une variable de type non résolue -- la façon dont le vérificateur de types dit « je n'ai aucune idée de ce que c'est ».
La cause racine était que les fichiers de bibliothèque avaient été écrits sans annotations de type explicites. Le vérificateur de types de FLIN traite chaque fichier indépendamment, donc il ne peut pas regarder les sites d'appel pour inférer les types de paramètres.
La correction était systématique : ajouter des annotations de type explicites à chaque paramètre de fonction dans chaque fichier de bibliothèque. Nous avons aussi enregistré la fonction time_ago manquante dans le vérificateur de types, et remplacé la syntaxe d'indexation par des appels de méthodes que le vérificateur de types comprenait déjà.
La règle établie : toujours annoter les paramètres de fonctions dans les fichiers lib/. Le vérificateur de types ne peut pas inférer les types de paramètres au-delà des frontières de fichiers. Ce principe est universel : aux frontières de modules, rendez les types explicites. À l'intérieur des modules, laissez l'inférence faire son travail.
Ceci est la partie 164 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 : - [163] Le bug d'enveloppement des enfants dans les layouts - [164] Correction de la résolution des fonctions de bibliothèque (vous êtes ici) - [165] Le bug du toggle de thème