14 articles
← Retour aux tagsUn monoïde est une structure algébrique d'une simplicité désarmante : un ensemble muni d'une opération binaire associative et d'un élément neutre. C'est tout.
La frontière entre code et données est bien plus poreuse qu'on ne le pense généralement.
La théorie des types algébriques nous offre une correspondance élégante entre les structures de données et l'arithmétique élémentaire.
Les types de données algébriques (ADT, pour algebraic data types) constituent le socle de la modélisation dans les langages fonctionnels typés, et leur influence s'étend désormais bien au-delà.
Une fonction totale est une fonction qui termine et produit une valeur valide pour toute entrée de son domaine déclaré.
Une évidence trop souvent ignorée traverse les discussions sur les pratiques de test : on ne peut pas tester ce qui n'a pas été conçu pour l'être.
L'une des méprises les plus tenaces concernant le Test-Driven Development est de le réduire à une technique pour écrire des tests.
Le property-based testing (PBT), popularisé par QuickCheck en Haskell à la fin des années 1990, renverse l'approche traditionnelle du test unitaire.
Une donnée brute n'a pas de signification intrinsèque : elle n'est qu'une suite de 1 et de 0, une structure inerte, un arrangement de symboles. C'est l'interprétation qui lui confère un sens.
Les langages dédiés embarqués (embedded DSL) permettent de construire des mini-langages au sein d'un langage hôte, héritant de sa syntaxe, de son système de types et de son outillage.
Un design system, dans son essence, est bien plus qu'une bibliothèque de composants réutilisables : c'est un langage dédié à l'expression d'une identité graphique (DSL, ou Domain-Specific Language).
L'application partielle et le currying transforment une fonction à plusieurs arguments en une chaîne de fonctions à un argument.
Greg Young, dans ses documents fondateurs sur CQRS, introduit une distinction éclairante entre deux styles d'interfaces.
Une confusion persistante dans l'industrie consiste à mélanger trois dimensions fondamentalement indépendantes :