Un lenguaje de programación es tan útil como su biblioteca estándar. El directorio lib/ de FLIN sirve como biblioteca estándar a nivel de proyecto. Cuando esta biblioteca deja de funcionar, cada página que depende de ella se rompe.
El 22 de enero de 2026, la aplicación modern-notes se negó a compilar. Los errores eran una cascada de fallos del verificador de tipos, todos originados desde el directorio lib/. El tipo ?T0 es la notación de FLIN para una variable de tipo no resuelta -- la forma del verificador de tipos de decir "no tengo idea de qué es esto".
La causa raíz era que las funciones de biblioteca se habían escrito sin anotaciones de tipo explícitas. Sin anotaciones, el verificador de tipos asignaba ?T0 (tipo desconocido). La solución fue sistemática: añadir anotaciones de tipo explícitas a cada parámetro de función en cada archivo de biblioteca.
La regla establecida: siempre anotar parámetros de función en archivos lib/. El verificador de tipos no puede inferir tipos de parámetros a través de fronteras de archivos. Sin anotaciones, cada parámetro es ?T0 y cada operación sobre él falla la verificación de tipos.
Este principio es universal: en las fronteras de módulos, haz los tipos explícitos. Dentro de los módulos, deja que la inferencia haga su trabajo.
Esta es la Parte 164 de la serie "Cómo construimos FLIN", que documenta cómo un CEO en Abidjan y un CTO de IA diseñaron y construyeron un lenguaje de programación desde cero.
Navegación de la serie: - [163] El error de envolvimiento de hijos en layouts - [164] Corrección de la resolución de funciones de biblioteca (estás aquí) - [165] El error del alternador de tema