Coldwast escreveu
Jun 14, 2026 em Programação, Conceitos — Um algoritmo é um procedimento finito, passo a passo, que transforma uma entrada numa saída. As suas propriedades chave, exemplos do dia a dia e em código, por que importa a eficiência (Big-O) e a sua diferença em relação a um programa.
Ler mais…Coldwast escreveu
Jun 14, 2026 em Programação, Web, Dados — O JSON é um formato de texto leve e legível para dados estruturados — a língua que a maioria das APIs web e ficheiros de configuração fala. A sua sintaxe, por que está em todo o lado, a comparação com XML e os seus limites honestos.
Ler mais…Coldwast escreveu
Jun 14, 2026 em Programação, Web, Conceitos — Uma API é um contrato que permite a um software comunicar com outro. Os principais tipos (web/REST, biblioteca, SO), como funcionam um pedido e uma resposta web e por que as APIs estão em todo o lado no software moderno.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…Coldwast escreveu
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.
Ler mais…