https://blog.rafaelfernandez.dev/es/tags/rust/ Recent content in Rust on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Tue, 24 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/how-query-engines-work-2-columnar-storage-arrow-rust/ Tue, 24 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/how-query-engines-work-2-columnar-storage-arrow-rust/ ¿Por qué los query engines modernos se pasan columnas en vez de filas? Porque al hardware le encanta esa forma. Este post explica por qué el layout columnar es tan rápido, cómo Apache Arrow lo representa en memoria y cómo construir y manipular arrays de Arrow en Rust sin tratar todo esto como si fuera magia negra. https://blog.rafaelfernandez.dev/es/posts/how-query-engines-work-1-from-sql-to-results/ Mon, 23 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/how-query-engines-work-1-from-sql-to-results/ Escribes una query SQL, presionas enter y unos milisegundos después aparecen resultados. En el medio, un pequeño compilador ya parseó el texto, construyó un plan, lo optimizó y lo ejecutó. Este post recorre ese pipeline con una query real y código real en Rust usando DataFusion. https://blog.rafaelfernandez.dev/es/posts/the-elm-architecture-a-loop-that-fits-in-your-head/ Sun, 22 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/the-elm-architecture-a-loop-that-fits-in-your-head/ Model, Update, View. Tres piezas, un bucle, cero sorpresas. Explicamos The Elm Architecture desde cero con ejemplos lado a lado en Rust y Scala, rastreamos de donde viene el patron, por que sigue apareciendo en TUIs y codebases funcionales, y cuando deja de ser la herramienta correcta. https://blog.rafaelfernandez.dev/es/posts/curry-howard-types-as-proofs/ Fri, 20 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/curry-howard-types-as-proofs/ Todo programa bien tipado es una demostración. Todo tipo es una proposición. No es una metáfora: es un teorema matemático descubierto en los años 30 que explica por qué hacer los estados inválidos irrepresentables realmente funciona. https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-3-real-bugs/ Wed, 18 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-3-real-bugs/ Referencias nulas, spinners de carga que muestran errores y datos simultáneamente, pagos capturados y anulados a la vez. No son hipotéticos; son consecuencia directa de tipos que mienten sobre el dominio. https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Mon, 16 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Los tipos se llaman algebraicos porque obedecen aritmética. Los tipos producto multiplican, los tipos suma suman. Entender esta aritmética explica por qué un enum con 5 variantes es infinitamente más preciso que 4 flags booleanos. https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-1-boolean-flags/ Sat, 14 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-1-boolean-flags/ Un semáforo que está en rojo y verde a la vez. Un usuario que está logueado y deslogueado simultáneamente. Los flags booleanos hacen estos estados absurdos perfectamente representables, y ese es el problema. https://blog.rafaelfernandez.dev/es/posts/ownership-rust-3-clone-guilt-republic-of-types/ Thu, 12 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/ownership-rust-3-clone-guilt-republic-of-types/ La comunidad de Rust convirtió .clone() en un pecado moral. Ese dogma es tan peligroso como la incapacidad del Consejo Jedi para adaptarse. Ponemos la culpa bajo el microscopio: los números reales de rendimiento, el lint de clippy que la refuerza y la teoría de tipos que explica por qué Rust hace visible la duplicación. https://blog.rafaelfernandez.dev/es/posts/ownership-rust-2-six-ways-to-share-state/ Mon, 09 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/ownership-rust-2-six-ways-to-share-state/ Move, borrow, clone, Rc, Arc, Cow. Rust te da seis formas de sable laser para el ownership. Cada una contrarresta una amenaza concreta. Usar la forma equivocada contra el oponente equivocado no es solo inelegante, es fatal. Mapeamos cada estrategia a las situaciones donde brilla y donde falla catastroficamente. https://blog.rafaelfernandez.dev/es/posts/ownership-rust-1-stop-fearing-clone/ Fri, 06 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/ownership-rust-1-stop-fearing-clone/ La comunidad Rust trata .clone() como un code smell. A veces lo es. Pero la mayoría de las veces, el instinto de evitarlo cuesta más en complejidad de lo que el clone cuesta en nanosegundos. Diseccionamos qué hace clone realmente para cada tipo común, el espectro real de costes a lo largo de seis órdenes de magnitud, y por qué Clone y Copy no son la misma conversación. https://blog.rafaelfernandez.dev/es/posts/tagless-final-is-denotational-semantics/ Tue, 03 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/tagless-final-is-denotational-semantics/ Cada trait en tu arquitectura hexagonal es un algebra tagless-final. Cada impl es un interprete. Has estado escribiendo semantica denotacional sin saberlo. Trazamos la conexion desde el paper de Kiselyov a traves de Cats-Effect de Scala hasta los port traits de Rust, y mostramos por que el patron que los academicos llaman ‘finally tagless’ es el mismo patron que los practicantes llaman ‘inyeccion de dependencias.’ https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-5-event-polling-edit-vertical-slice/ Sat, 28 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-5-event-polling-edit-vertical-slice/ La rata sirve el último plato. Corregimos el lag de entrada con polling de eventos no bloqueante, añadimos la funcionalidad de edición como un corte vertical completo desde la capa de aplicación hasta la TUI, observamos la máquina de estados crecer de 3 a 4 variantes con seguridad guiada por el compilador, y cerramos con las conclusiones clave de toda la migración. https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-4-ux-polish-input-popup/ Wed, 25 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-4-ux-polish-input-popup/ La rata aprende a emplatar. Cinco mejoras de UX transforman un prototipo monocromático en una herramienta escaneable y responsiva: codificación por colores, feedback positivo, guía de estado vacío, mensajes transitorios y un cursor visual. Después sustituimos la entrada de texto en la barra de comandos por un popup modal centrado. https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-3-events-terminal-safety-migration/ Sat, 21 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-3-events-terminal-safety-migration/ La rata conecta los oídos. Implementamos manejadores de eventos por modo con crossterm, rediseñamos el mapeo de teclas para usar un toggle en vez de teclas separadas, resolvemos el problema de restauración de terminal con un patrón de captura-limpieza-retorno, y ejecutamos cargo test para descubrir que cero líneas cambiaron fuera del adaptador. https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-2-rendering-view-layer-ratatui/ Wed, 18 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-2-rendering-view-layer-ratatui/ La rata empieza a pintar. Implementamos la capa de renderizado: dibujo en modo inmediato, un layout de tres zonas con Layout::vertical, una tabla de tareas con StatefulWidget y resaltado de fila, una barra de comandos sensible al contexto que cambia según InputMode, y el sutil gotcha de Block que costó unos minutos de depuración. https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-1-scaffolding-tui-adapter-state-machine/ Sat, 14 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-tui-rust-1-scaffolding-tui-adapter-state-machine/ Arrancamos una nueva serie migrando el adaptador CLI a una TUI con ratatui. Configuramos las nuevas dependencias, diseñamos la estructura de módulos bajo adapters/tui/, modelamos los modos de interacción como un enum para hacer los estados inválidos irrepresentables, y resolvemos el puzzle de ownership al clonar un repositorio en una sesión persistente. https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-3-the-expression-problem/ Sat, 07 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-3-the-expression-problem/ Agregar un nuevo tipo es facil en OOP, dificil en FP. Agregar una nueva operacion es facil en FP, dificil en OOP. Philip Wadler nombro esto el Expression Problem en 1998. Mostramos como se manifiesta en Rust y Scala, y anticipamos la resolucion. https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-2-three-ways-to-define-meaning/ Tue, 03 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-2-three-ways-to-define-meaning/ Tu expresion match es semantica operacional. Tu funcion pura es semantica denotacional. El borrow checker de Rust es semantica axiomatica. Tres marcos formales, tres formas de asignar significado al codigo, y has estado usando los tres sin saberlo. https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-1-your-code-has-a-grammar-problem/ Fri, 30 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-1-your-code-has-a-grammar-problem/ Cada enum que escribes es una gramatica formal. Cada sealed trait es un conjunto de reglas de produccion. Has estado haciendo metodos formales todo este tiempo; simplemente no sabias el nombre. Trazamos la conexion desde la jerarquia de Chomsky hasta tus tipos de dominio en Rust y Scala. https://blog.rafaelfernandez.dev/es/posts/traits-are-grammars-too-from-contract-design-to-formal-syntax/ Wed, 28 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/traits-are-grammars-too-from-contract-design-to-formal-syntax/ Al volver sobre el trait TaskRepository de la serie Todo CLI, me di cuenta de que no solo estaba dibujando una frontera arquitectónica. También estaba definiendo qué podía decirse en esa frontera, y eso se parece mucho más a una gramática de lo que pensé al principio. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-5-cli-to-tui-with-ratatui/ Mon, 26 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-5-cli-to-tui-with-ratatui/ Cerramos la serie explorando qué implica migrar de CLI a TUI con ratatui: cómo cambia el modelo de interacción, qué fricciones introduce Rust con ownership y &mut en un event loop persistente, y por qué la arquitectura hexagonal absorbe el cambio sin cirugía. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-4-building-cli-with-clap/ Thu, 22 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-4-building-cli-with-clap/ Diseñamos la capa CLI con clap derive, parsing tipado de argumentos con ValueEnum y FromStr para UUIDs, subcomandos como enums, flag global –output para salida dual table/json, y errores propagados por capas hasta stderr. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-3-1-testing-strategy-technical-debt/ Sun, 18 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-3-1-testing-strategy-technical-debt/ Analizamos la estrategia de testing del repositorio: pruebas por comportamiento para cada adapter, aislamiento con tempdir, por qué no hay tests compartidos, y la deuda técnica que decidimos documentar en vez de esconder. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-3-json-persistence-contract-vs-implementation/ Thu, 15 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-3-json-persistence-contract-vs-implementation/ Tercera parte de la serie: definimos el contrato de persistencia con un trait genérico, implementamos dos adaptadores (in-memory y JSON a disco) y profundizamos en la diferencia entre interfaz e implementación como eje de la arquitectura hexagonal. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-2-immutable-domain-typed-errors/ Mon, 12 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-2-immutable-domain-typed-errors/ En esta parte modelamos el corazón del proyecto: la entidad Task, sus transiciones inmutables y una taxonomía de errores por capas. Menos magia, más reglas explícitas y menos bugs sorpresa. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-1-hexagonal-architecture/ Thu, 08 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-1-hexagonal-architecture/ Arrancamos la serie construyendo un To-Do CLI en Rust desde el Project #1 de CodeCrafters, pero sin convertirlo en un script gigante. Vemos decisiones de arquitectura, límites de capas y por qué un proyecto pequeño también puede enseñarte diseño serio. https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-0-roadmap-repository-map/ Mon, 05 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/todo-cli-rust-0-roadmap-repository-map/ Guía de lectura de la serie Todo CLI en Rust, con el mapa técnico del repositorio, orden recomendado de capítulos y enlaces directos a archivos y commits para seguir cada decisión paso a paso. https://blog.rafaelfernandez.dev/es/posts/zarpando-con-sail-entorno-limpio-docker-jupyter-rustrover/ Sun, 20 Jul 2025 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/zarpando-con-sail-entorno-limpio-docker-jupyter-rustrover/ Guía práctica para montar un entorno limpio y reproducible con Docker, Jupyter y RustRover para trabajar con Sail como usuario o colaborador. Desde levantar servicios con docker-compose hasta debuggear en local sin instalar dependencias en tu máquina. https://blog.rafaelfernandez.dev/es/posts/sail-navegando-entre-gigantes-y-chispas/ Wed, 16 Jul 2025 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/sail-navegando-entre-gigantes-y-chispas/ En este artículo comparto mi visión crítica sobre el estado actual de la ingeniería del dato, dominada por plataformas pesadas como Spark y Databricks, y presento Sail, un motor open-source construido sobre Apache Arrow y DataFusion, escrito en Rust, que propone un nuevo camino: ligero, eficiente y potente. https://blog.rafaelfernandez.dev/es/posts/primeros-pasos-en-rust/ Thu, 13 Feb 2025 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/primeros-pasos-en-rust/ Mis primeras impresiones de Rust desde un enfoque de programación funcional (Scala y Haskell). Una mezcla de emoción, frustración y un cambio de paradigma en la forma de pensar.