Développement du langage Egison : correspondance de motifs et calcul symbolique

Je développe du code appliqué et de recherche dans le langage Egison — un langage fonctionnel dont la caractéristique clé est la correspondance de motifs non linéaires expressifs sur des types de données non libres : ensembles, multisets, graphes. Si vous avez des données dont la structure ne correspond pas à la correspondance de motifs standard, je conçois un correspondant adapté, et le langage Egison s'occupe du travail lourd. Ma pratique se divise en trois directions. Premièrement — conception de motifs : j'encode des collections, des permutations, des combinaisons de poker, des alignements de séquences et des contraintes combinatoires en correspondants concis et les vérifie avec des tests exhaustifs. Deuxièmement — calcul symbolique et mathématique : j'applique le moteur symbolique intégré et la notation d'index tensoriel pour dériver et différencier des expressions, prototyper des algorithmes et vérifier des identités qui sont fastidieuses à calculer à la main. Troisièmement — soutien à la recherche : j'aide à reproduire des résultats des articles sur le langage Egison, à porter des prototypes et à transformer des spécifications mathématiques en code exécutable. Le livrable comprend un code source propre et commenté, un README, une suite de tests exécutable et un court appel avec une présentation. J'ai des années d'expérience en programmation fonctionnelle avec Haskell et Scheme, donc le passage à Egison se fait naturellement. Décrivez quelles structures vous avez besoin de faire correspondre et quelles identités prouver, et je vous enverrai un plan avec des jalons avant la première ligne de code.