🇫🇷 🇪🇺 Vous cherchez un accompagnement senior en Lean software delivery ? Discutons ensemble de notre collaboration future. Contact →

Specifications

2 articles

Property-Based Testing : puissance et limites4 min de lecture
Le property-based testing (PBT), popularisé par QuickCheck en Haskell à la fin des années 1990, renverse l'approche traditionnelle du test unitaire.
Refinement Types et Dependent Types : vers des types qui prouvent4 min de lecture
Au-delà du typage classique, certains systèmes permettent d'encoder des propriétés plus fines. Le compilateur devient alors un assistant de preuve, et permet de forcer des invariants métiers encore pl...