1
¿Matemáticas necesitaba entender la teoría detrás del sistema de tipos de Haskell?
Recientemente, me he interesado profundamente en Haskell. Mientras intento aprender nuevos conceptos (por ejemplo, la palabra clave forall y la mónada ST ) y el sistema de tipos de Haskell en general, continuamente me encuentro con conceptos de teoría de categorías y cálculo lambda . Entonces, me pregunto: ¿Qué otras …