https://blog.rafaelfernandez.dev/es/tags/cats-effect/ Recent content in Cats-Effect 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.’