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.
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.
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.’