https://blog.rafaelfernandez.dev/es/tags/tagless-final/ Recent content in Tagless-Final on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Thu, 26 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/criteria4s-1-escribe-tus-filtros-una-vez-ejecutalos-en-cualquier-parte/ Thu, 26 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/criteria4s-1-escribe-tus-filtros-una-vez-ejecutalos-en-cualquier-parte/ Escribe un predicado una vez y ejecútalo contra SQL, MongoDB, Elasticsearch o cualquier backend. Una introducción a criteria4s y a su forma de resolver el Problema de la Expresión en código real. https://blog.rafaelfernandez.dev/es/posts/criteria4s-1-escribe-tus-filtros-una-vez-ejecutalos-en-cualquier-parte/ Thu, 26 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/criteria4s-1-escribe-tus-filtros-una-vez-ejecutalos-en-cualquier-parte/ Escribe un predicado una vez y ejecútalo contra SQL, MongoDB, Elasticsearch o cualquier backend. Una introducción a criteria4s y a su forma de resolver el Problema de la Expresión en código real. 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.’