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…Coldwast a écrit
Jul 31, 2026 dans Haskell, Rust, Languages - Haskell et Rust promettent tous deux la correction par le système de types, puis divergent complètement sur la mémoire. Garbage collector contre ownership, paresse contre évaluation stricte, et à quelle question chacun répond vraiment.
Lire la suite…Coldwast a écrit
Jun 14, 2026 dans Haskell, Cabal, Build - Cabal et Stack sont les deux principales façons de construire des projets Haskell. Ce qu’est chacun, en quoi ils diffèrent (Hackage vs Stackage, reproductibilité, gestion de GHC), les commandes équivalentes, et comment choisir en 2026.
Lire la suite…