8 articles
← Retour aux tagsUn isomorphisme entre deux types A et B est une paire de fonctions to : A → B et from : B → A telles que from(to(a)) = a et to(from(b)) = b pour toute valeur.
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.
Le scénario est classique : une fonction legacy f, enchevêtrée, difficile à maintenir, mais dont le comportement est correct (ou du moins accepté comme tel par les utilisateurs du système).
La distinction entre décrire un programme et l'exécuter constitue un changement de perspective fondamental en programmation fonctionnelle.
Le principe fondamental du Lean selon lequel un défaut coûte exponentiellement plus cher à mesure qu'il progresse dans la chaîne de valeur s'applique avec une acuité particulière au développement logi...
Le Trunk-Based Development (TBD) pousse la logique du flux continu à son terme : tous les développeurs commitent directement sur une branche unique (trunk ou main), plusieurs fois par jour, sans branc...