Desenvolvimento da linguagem Egison: correspondência de padrões e computação simbólica

Eu desenvolvo código aplicado e de pesquisa na linguagem Egison — uma linguagem funcional cuja característica principal é a correspondência de padrões não lineares expressivos sobre tipos de dados não livres: conjuntos, multiconjuntos, grafos. Se você tem dados cuja estrutura não se encaixa na correspondência de padrões padrão, eu projeto um correspondente adequado, e a linguagem Egison cuida do trabalho pesado. Minha prática se divide em três direções. Primeiro — design de padrões: eu codifico coleções, permutações, combinações de poker, alinhamento de sequências e restrições combinatórias como correspondentes concisos e os verifico com testes exaustivos. Segundo — computação simbólica e matemática: eu aplico o motor simbólico embutido e a notação de índice tensorial para derivar e diferenciar expressões, prototipar algoritmos e verificar identidades que são tediosas de calcular manualmente. Terceiro — suporte à pesquisa: eu ajudo a reproduzir resultados de artigos da linguagem Egison, portar protótipos e transformar especificações matemáticas em código executável. O entregável inclui código-fonte limpo comentado, README, suíte de testes executável e uma breve chamada com walkthrough. Tenho anos de experiência em programação funcional com Haskell e Scheme, então a transição para Egison acontece naturalmente. Descreva quais estruturas você precisa corresponder e quais identidades provar, e eu enviarei um plano com marcos antes da primeira linha de código.