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.
Jun 14, 2026 dans Haskell, Syntax — 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.
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.
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.
Jun 14, 2026 dans Haskell, Compiler — 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.
Jun 14, 2026 dans Haskell, Editor — 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.
Jun 14, 2026 dans Haskell, Toolchain — 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.
Jun 13, 2026 dans Haskell, Cabal, Build — L’idée d’isolation par projet a si bien gagné qu’elle est devenue invisible. Ce qu’étaient les sandboxes, et le workflow de build Cabal façon nix qui leur a succédé.
Jun 13, 2026 dans Haskell, Cabal, Build — Builds façon nix, Backpack, l’opérateur caret et un meilleur solveur — ce que 2.0 a introduit et où en est chaque fonctionnalité dans la chaîne d’outils 2026.
Jun 13, 2026 dans Haskell, Performance — Pourquoi un build est un graphe de dépendances, comment les builds -j utilisent vos cœurs, et le correctif moderne par sémaphore de jobs contre la surcharge sur les arbres de dépendances larges.