Los type constructors son functors. Las funciones polimórficas son natural transformations. Los kinds son el simply-typed lambda calculus un nivel más arriba. La category theory detrás de F[_], explicada con Scala 3.
Una explicación más humana de type constructors, kinds y higher-kinded types en Scala 3. Qué significa realmente F[_] y por qué a veces List no es un tipo.
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.
Cómo enseñarle a criteria4s un backend que no conoce. Construye un dialecto desde cero en treinta líneas, o hereda uno en cinco.
Cómo enseñarle a criteria4s un backend que no conoce. Construye un dialecto desde cero en treinta líneas, o hereda uno en cinco.
Un recorrido por el código fuente real de criteria4s para ver cómo phantom types y type classes imponen seguridad de dialecto con coste cero en runtime.
Un recorrido por el código fuente real de criteria4s para ver cómo phantom types y type classes imponen seguridad de dialecto con coste cero en runtime.