Coldwast escreveu
Jun 14, 2026 em Programação, Dados, Bases de dados — O SQL é a linguagem padrão para armazenar, consultar e alterar dados em bases de dados relacionais. Os comandos chave (SELECT, INSERT, UPDATE, DELETE), como funciona uma consulta, SQL vs NoSQL e por que continua essencial em 2026.
Ler mais…Coldwast escreveu
Jun 14, 2026 em Programação, Ferramentas, Fluxo de trabalho — O Git é um sistema de controlo de versões distribuído que regista cada alteração ao seu código para ramificar, fundir, colaborar e desfazer. Os conceitos chave (commit, ramo, merge, remote), o fluxo de trabalho diário e a diferença em relação ao GitHub.
Ler mais…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…