Jun 14, 2026 em Haskell, Conceitos — O Haskell é uma linguagem puramente funcional, de tipagem estática e preguiçosa, com uma poderosa inferência de tipos. As ideias que a definem — pureza, imutabilidade, preguiça, tipos fortes —, para que serve e como começar.
Jun 14, 2026 em Haskell, Sintaxe — Uma list comprehension constrói uma lista a partir de geradores com guardas opcionais — concisa e próxima da notação de conjuntos. Sintaxe, geradores múltiplos, guardas e a sua relação com map e filter.
Jun 14, 2026 em Haskell, Conceitos — O Haskell calcula um valor apenas quando este é realmente necessário. O que é a avaliação preguiçosa, os thunks, as estruturas infinitas, a armadilha das fugas de memória e forçar a avaliação estrita com seq e BangPatterns.
Jun 14, 2026 em Haskell, Conceitos — Uma mónada encadeia cálculos que transportam contexto — Maybe, Either, IO, listas. O que é na realidade, bind (>>=) e return e a notação do, com clareza.
Jun 14, 2026 em Haskell, Compilador — O que é o GHC, a sua instalação com o GHCup, o uso do GHCi, as flags que importam (-O2, -Wall, -threaded, -j) e como se articula com o Cabal e o Stack.
Jun 14, 2026 em Haskell, Editor — O que faz o HLS, a sua instalação com o GHCup, a integração no VS Code e no Neovim, o ajuste ao seu GHC e como corrigir os erros habituais.
Jun 14, 2026 em Haskell, Toolchain — O GHCup é a forma recomendada de instalar o GHC, o Cabal, o Stack e o HLS em 2026 — instalação limpa, mudança de versão e as armadilhas típicas para iniciantes.
Jun 13, 2026 em Haskell, Cabal, Build — A ideia de isolamento por projeto venceu de forma tão completa que se tornou invisível. O que eram as sandboxes e o fluxo de build do Cabal ao estilo nix que as substituiu.
Jun 13, 2026 em Haskell, Cabal, Build — Builds ao estilo nix, Backpack, o operador caret e um solver melhor — o que a 2.0 introduziu e onde está cada funcionalidade no toolchain de 2026.
Jun 13, 2026 em Haskell, Desempenho — Por que um build é um grafo de dependências, como os builds com -j usam os seus núcleos e a solução moderna por semáforo de jobs contra a sobrecarga em árvores de dependências amplas.