Ingenieria-De-Software on Inicio https://blog.rafaelfernandez.dev/es/tags/ingenieria-de-software/ Recent content in Ingenieria-De-Software on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Mon, 23 Mar 2026 00:00:00 +0000 Cómo funcionan los query engines 1. El pequeño compilador detrás de cada query SQL 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. La Arquitectura Elm: un bucle que cabe en tu cabeza 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. La correspondencia Curry-Howard: cuando los tipos se convierten en demostraciones 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. Hacer los estados inválidos irrepresentables 3: bugs reales por estados representables sin sentido 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. Hacer los estados inválidos irrepresentables 2: el álgebra detrás de tus tipos 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. Hacer los estados inválidos irrepresentables 1: por qué los flags booleanos son bugs disfrazados 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.