https://blog.rafaelfernandez.dev/es/tags/functional-programming/ Recent content in Functional-Programming on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Sat, 04 Apr 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/el-type-system-tiene-un-type-system/ Sat, 04 Apr 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/el-type-system-tiene-un-type-system/ 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. https://blog.rafaelfernandez.dev/es/posts/que-es-list-cuando-no-es-un-tipo/ Fri, 03 Apr 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/que-es-list-cuando-no-es-un-tipo/ Una explicación más humana de type constructors, kinds y higher-kinded types en Scala 3. Qué significa realmente <code>F[_]</code> y por qué a veces <code>List</code> no es un tipo.