Coldwast a écrit
Jun 14, 2026 dans Programmation, Données, Bases de données — Le SQL est le langage standard pour stocker, interroger et modifier les données dans les bases relationnelles. Les commandes clés (SELECT, INSERT, UPDATE, DELETE), le fonctionnement d’une requête, SQL vs NoSQL, et pourquoi il reste essentiel en 2026.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Programmation, Outils, Workflow — Git est un système de contrôle de version distribué qui suit chaque changement de ton code pour brancher, fusionner, collaborer et annuler. Les concepts clés (commit, branche, merge, remote), le workflow quotidien, et sa différence avec GitHub.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Programmation, Concepts — Un algorithme est une procédure finie, étape par étape, qui transforme une entrée en sortie. Ses propriétés clés, des exemples du quotidien et en code, pourquoi l’efficacité (Big-O) compte, et sa différence avec un programme.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Programmation, Web, Données — Le JSON est un format texte léger et lisible pour les données structurées — la langue que parlent la plupart des API web et fichiers de config. Sa syntaxe, pourquoi il est partout, sa comparaison avec XML, et ses limites honnêtes.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Programmation, Web, Concepts — Une API est un contrat qui permet à un logiciel de communiquer avec un autre. Les grands types (web/REST, bibliothèque, OS), le fonctionnement d’une requête et d’une réponse web, et pourquoi les API sont partout.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Concepts — Haskell est un langage purement fonctionnel, à typage statique et paresseux, doté d’une puissante inférence de types. Les idées qui le définissent — pureté, immutabilité, paresse, types forts — à quoi il sert, et comment débuter.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Syntaxe — Une compréhension de liste construit une liste à partir de générateurs avec des gardes optionnelles — concise et proche de la notation ensembliste. Syntaxe, générateurs multiples, gardes, et leur lien avec map et filter.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Concepts — Haskell ne calcule une valeur que lorsqu’elle est réellement nécessaire. Ce qu’est l’évaluation paresseuse, les thunks, les structures infinies, le piège des fuites mémoire, et forcer l’évaluation stricte avec seq et BangPatterns.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Concepts — Une monade enchaîne des calculs porteurs de contexte — Maybe, Either, IO, listes. Ce qu’elle est vraiment, bind (>>=) et return, et la notation do, simplement.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Compilateur — Ce qu’est GHC, son installation avec GHCup, l’usage de GHCi, les flags qui comptent (-O2, -Wall, -threaded, -j), et son articulation avec Cabal et Stack.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Éditeur — Ce que fait HLS, son installation avec GHCup, son intégration à VS Code et Neovim, l’accord avec votre GHC, et la correction des erreurs habituelles.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Chaîne d’outils — GHCup est la façon recommandée d’installer GHC, Cabal, Stack et HLS en 2026 — installation propre, changement de version, et les pièges classiques pour les débutants.
Lire la suite…