Flin
All Flin articles.
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.
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.
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.
El operador pipeline: composición funcional en FLIN
Cómo implementamos el operador pipeline en FLIN -- la sintaxis |> para composición funcional, su transformación en el parser a llamadas de función y la experiencia de desarrollador que desbloquea.
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.
Componentes empresariales de FlinUI
Cómo los componentes empresariales de FlinUI -- DataGrid, Pivot, OrgChart, Workflow, AuditLog -- aportan elementos UI de nivel SaaS a FLIN sin dependencias de terceros.