Recent
The type system has a type system
·8 mins
Type constructors are functors. Polymorphic functions are natural transformations. Kinds are the simply-typed lambda calculus one level up. The category theory behind F[_], explained with Scala 3.
What List is when it's not a type
·6 mins
A more human explanation of type constructors, kinds, and higher-kinded types in Scala 3. What F[_] really means, and why List is sometimes not a type.
criteria4s 4. Your domain has no database
·6 mins
How to use T <: CriteriaTag as a hexagonal port so your domain layer never imports a dialect. The database becomes a deployment decision.
criteria4s. Your domain has no database
·6 mins
How to use T <: CriteriaTag as a hexagonal port so your domain layer never imports a dialect. The database becomes a deployment decision.
criteria4s 3. Do you speak my language?
·7 mins
How to teach criteria4s a backend it has never heard of. Build a dialect from scratch in thirty lines, or inherit one in five.