Surcharge de l'abstraction lambda en Haskell : une approche élégante pour la conception d'EDSL

Cet article présente une nouvelle méthode pour surcharger l'abstraction lambda en Haskell afin de construire des langages de domaine spécifiques intégrés (EDSL). En utilisant intelligemment un type `Port` et les fonctions `encode`/`decode`, l'auteur traduit élégamment les fonctions Haskell en morphismes au sein d'une catégorie personnalisée. Cela donne une syntaxe concise et intuitive, évitant les complexités des abstractions Arrow et de la notation proc. L'approche nécessite un minimum de code Haskell et aucune métaprogrammation ni aucun plugin de compilateur. Un exemple d'EDSL de diagramme de flux illustre l'application de la méthode, avec des discussions sur la prévention des duplications et la gestion des effets secondaires.