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.