Blog
All articles. All pillars. All authors.
El motor de reactividad: cómo FLIN hace todo reactivo
El motor de reactividad de FLIN: rastreo automático de dependencias, actualizaciones basadas en SSE y renderizado incremental del DOM.
Agentes paralelos en el runtime de FLIN
El sistema de agentes paralelos de FLIN: ejecución concurrente, paso de mensajes y el modelo de runtime basado en agentes.
El sistema de tipos de FLIN: inferido, expresivo, seguro
Cómo diseñamos el sistema de tipos de FLIN para que sea inferido por defecto, expresivo cuando se necesita y seguro en tiempo de compilación -- sin el impuesto de verbosidad de los lenguajes tipados tradicionales.
Tipos unión y estrechamiento de tipos
Cómo implementamos tipos unión en FLIN -- la sintaxis int | text | bool, estrechamiento de tipos a través del flujo de control y la infraestructura del compilador Rust que lo hace posible.
Tipos genéricos en FLIN
Cómo implementamos tipos genéricos en FLIN -- parámetros de tipo, funciones genéricas, alias de tipos genéricos y el truco del lexer que distingue Option<T> de <div>.
Traits e interfaces
Cómo diseñamos el sistema de traits de FLIN -- declaraciones de traits, bloques impl, restricciones de traits en genéricos y la implementación en Rust que vincula el polimorfismo con la seguridad de tipos.
El primer renderizado en el navegador: cuando FLIN conoció el DOM
La primera vez que FLIN renderizó en el navegador: compilando bytecode a HTML, el hito de la Sesión 26.
Desestructuración en todas partes
Cómo implementamos la desestructuración en FLIN -- desestructuración de arrays, entidades y anidada con patrones rest, valores por defecto y el enfoque stub-first que mantuvo el compilador saludable.
Tuplas, enums y structs
Cómo diseñamos las tres estructuras de datos fundamentales de FLIN -- tuplas para agrupación anónima, enums para alternativas nombradas y structs de entidad para registros persistentes.
Guardias de tipo y estrechamiento en tiempo de ejecución
Cómo el operador is de FLIN habilita la verificación de tipos en tiempo de ejecución con estrechamiento de tipos en tiempo de compilación -- el puente entre valores dinámicos y seguridad estática.
El tipo Never y la verificación de exhaustividad
Cómo el tipo Never de FLIN y la verificación de exhaustividad trabajan juntos para garantizar que cada camino de código está cubierto -- la red de seguridad del compilador para la coincidencia de patrones y el flujo de control.
Restricciones genéricas y cláusulas where
Cómo FLIN implementa restricciones genéricas y cláusulas where -- restringiendo parámetros de tipo con traits, fusionando sintaxis inline y where, y validando restricciones en tiempo de compilación.