1
A matemática precisava entender a teoria por trás do sistema de tipos de Haskell?
Recentemente, fiquei profundamente interessado em Haskell. Enquanto tentava aprender novos conceitos (por exemplo, a palavra - chave forall e a mônada ST ) e o sistema de tipos de Haskell em geral, eu sempre me deparo com conceitos da teoria das categorias e do cálculo lambda . Então, eu me …