eriktorr.es
  • Menu ▾
    • Tags
    • ¿Quién escribe?
  • Tags
  • ¿Quién escribe?

Primer Encuentro con Category Theory

2020-12-26Erik Torres
#category-theory 

Ahora que me empiezan a sonar familiares los términos como Monoid y Functor, me he atrevido con las bases matemáticas de la programación funcional.

[Leer más]

Mini Patrones de Programación Funcional en Scala

2020-11-15Erik Torres
#functional-programming  #opaque-types  #phantom-type-parameters  #evidence  #make-illegal-states-unrepresentable 

Mejores tipos para propagar la información de contexto y evitar que los estados ilegales puedan ser representados.

[Leer más]

Dando Contexto a los Datos con Newtype

2020-10-27Erik Torres
#functional-programming  #opaque-types  #haskell 

Sin el soporte adecuado, hasta el problema más sencillo necesita una solución compleja.

[Leer más]

Probando con Propiedades

2020-10-14Erik Torres
#property-based-testing  #functional-programming  #scalacheck  #scala 

Un caso práctico de property-based testing.

[Leer más]

Problemas de Dominio

2020-10-11Erik Torres
#domain-modeling  #functional-programming  #cats-effect  #scala 

Mi primer intento de modelar un dominio complicado mientras aprendo programación funcional.

[Leer más]
< [Más recientes] :: [Más antiguos] >
© 2026 Powered by Hugo :: Theme made by panr