Mort aux classes de types : exploration du système de modules Backpack dans Haskell
Cet article explore le remplacement des classes de types par le système de modules Backpack dans Haskell. L'auteur démontre, à travers un exemple appelé « Death », comment définir des signatures pour des types comme Functor et implémenter différentes instances (par exemple, Maybe et IO). La configuration de Cabal permet une sélection flexible des implémentations, comme l'utilisation d'une monade d'état pour simuler les E/S pendant les tests. Cette approche, bien qu'exigeant plus de configuration de Cabal, offre des messages d'erreur plus clairs, un contrôle plus flexible et des avantages de performance potentiels. L'article se conclut par une philosophie de programmation minimaliste, en arguant que la simplification conduit à une meilleure lisibilité et maintenabilité.
Lire plus