https://blog.rafaelfernandez.dev/es/tags/diseno/ Recent content in Diseno on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Wed, 18 Mar 2026 00:00:00 +0000 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-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/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.