Reciente
El type system tiene un type system
·9 mins
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.
Qué es List cuando no es un tipo
·6 mins
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.
criteria4s 4. Tu dominio no tiene base de datos
·6 mins
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.
criteria4s. Tu dominio no tiene base de datos
·6 mins
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.
criteria4s 3. ¿Hablas mi idioma?
·8 mins
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.