Cómo usar T <: CriteriaTag como puerto hexagonal para que tu capa de dominio nunca importe un dialecto. La base de datos se convierte en una decisión de despliegue.
Cómo usar T <: CriteriaTag como puerto hexagonal para que tu capa de dominio nunca importe un dialecto. La base de datos se convierte en una decisión de despliegue.
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.’