https://blog.rafaelfernandez.dev/es/tags/semantica-denotacional/ Recent content in Semantica-Denotacional on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Tue, 03 Mar 2026 00:00:00 +0000 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/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.