Blog
All articles. All pillars. All authors.
Por qué elegimos Rust para construir un lenguaje de programación
Por qué Juste A. GNIMAVO y Claude eligieron Rust para construir el compilador del lenguaje de programación FLIN desde Abiyán.
Funciones auxiliares de comparacion temporal
Como construimos seis funciones nativas auxiliares para comparaciones temporales en FLIN -- field_changed, calculate_delta, percent_change, changed_from, value_changed y field_history.
Gestión de memoria y recolección de basura
Gestión de memoria en la VM de FLIN: recolección de basura, internado de cadenas y asignación en el heap en Rust.
Cómo la VM ejecuta vistas
Cómo la VM de FLIN ejecuta vistas: de opcodes de bytecode a renderizado HTML con enlace de atributos reactivo.
La referencia completa de opcodes de FLIN
La referencia completa de opcodes de FLIN: aritmética, flujo de control, entidades, vistas e instrucciones de clausura.
Diagnósticos de errores que realmente ayudan
Cómo los diagnósticos de errores de FLIN ayudan a los desarrolladores: ubicaciones en el fuente, salida con colores y mensajes legibles para humanos.
El pipeline de compilación completo, de principio a fin
El pipeline de compilación completo de FLIN: seis fases desde el código fuente hasta la aplicación en ejecución, explicado de principio a fin.
Clausuras y funciones de orden superior en la VM
Implementando clausuras y funciones de orden superior en la máquina virtual de FLIN: upvalues y semántica de captura.
Construyendo una máquina virtual basada en pila en Rust
Cómo construimos la máquina virtual basada en pila de FLIN en Rust: bucle de ejecución, tipos de valor y marcos de llamada.
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 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.