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.