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...