Développement en Koka : Effets algébriques et gestionnaires

Je suis un ingénieur en programmation fonctionnelle et je travaille quotidiennement en Koka — un langage de recherche construit autour des effets algébriques et des types d'effets basés sur des lignes. Si vous avez besoin d'un prototype, d'une bibliothèque ou d'un outil près du compilateur où chaque effet secondaire est suivi dans la signature de type, et non caché dans l'exécution, je vous aiderai. Mon travail typique ressemble à ceci : je décris votre domaine avec un petit ensemble d'opérations d'effet, écris des gestionnaires qui donnent un sens concret à ces opérations, et laisse le vérificateur de types de Koka prouver qu'aucun effet non géré ne s'échappe. Grâce à cela, la même logique fonctionne sur une vraie base de données, un stub ou une replay déterministe pour les tests — il suffit de changer le gestionnaire. J'ai utilisé cette technique pour construire des analyseurs, des automates finis, des pipelines asynchrones et des interprètes pour de petits langages de domaine. Du côté du compilateur, je lis avec confiance comment Koka déploie les effets dans un style de passage de preuves, raisonne sur la façon dont la compilation typée réduit les gestionnaires, et diagnostique pourquoi une ligne d'effet ne s'unifie pas comme vous l'attendiez. En conséquence, vous obtenez un code source Koka proprement commenté, une note de projet courte justifiant les signatures d'effet choisies et une suite de tests vérifiant chaque gestionnaire en isolation. Les points complexes que je décris séparément afin que votre équipe puisse maintenir le code après moi. Si vous voyez les gestionnaires d'effets comme un remplacement pour les transformateurs de monades ou les spaghetti de rappels — envoyez-moi la tâche et je proposerai un design d'effet concret avant que nous commencions.