Solveurs déclaratifs en langage Curry

Je suis un programmeur de logique fonctionnelle et je travaille professionnellement en Curry, donc je propose de concevoir et d'implémenter des solutions déclaratives là où le code impératif ordinaire devient confus. Curry combine des fonctions pures dans l'esprit de Haskell avec la programmation logique : je décris une tâche comme un ensemble de relations, et le rétrécissement et le calcul non déterministe traversent eux-mêmes l'espace de recherche. C'est mon outil quotidien. Au fil des ans, j'ai écrit des solveurs de contraintes, des moteurs de puzzles et de plannings, des analyseurs syntaxiques et de petits langages de domaine, préférant toujours des équations lisibles à l'optimisation manuelle des boucles. Le flux de travail typique est le suivant : nous convenons d'une spécification, je modélise le domaine avec des types algébriques et des motifs de fonction, j'ajoute des variables libres et un choix non déterministe là où la recherche est nécessaire, et j'encapsule le résultat afin que le code appelant obtienne des réponses déterministes et testables. Les principaux systèmes sont PAKCS et KiCS2 ; je sais repérer où la recherche explose et ajouter des contraintes à l'avance pour la réduire. Les livrables incluent du code source commenté, une courte note sur le modèle déclaratif, une suite de tests et un appel pour passer en revue la conception afin que votre équipe puisse maintenir le code. J'aide également des projets académiques : implémentations de référence pour des articles, exemples d'enseignement, artefacts reproductibles pour l'évaluation. Si vous avez une tâche combinatoire ou basée sur des règles et avez besoin d'une solution claire, pas d'une boîte noire, Curry est idéal, et je suis heureux de le construire avec vous.