Розроблення на мові Egison: зіставлення з образцем та символічні обчислення

Я розробляю прикладний та дослідницький код на мові Egison — функціональній мові, чия головна риса — виразне нелінійне зіставлення з образцем над не-вільними типами даних: множинами, мультимножинами, графами. Якщо у вас є дані, структура яких погано ложиться на звичайне зіставлення, я описую підходящий matcher, і мова Egison бере основну роботу на себе. Моя практика ділиться на три напрямки. Перший — проектування образців: я кодую колекції, перестановки, покерні комбінації, вирівнювання послідовностей та комбінаторні обмеження у виді лаконічних зіставлювачів і перевіряю їх вичерпними тестами. Другий — символічні та математичні обчислення: застосовую вбудований символічний рушій та тензорну індексну нотацію, щоб виводити та диференціювати вирази, прототипувати алгоритми та перевіряти тотожності, які вручну рахувати втомливо. Третій — підтримка досліджень: допомагаю відтворити результати зі статей про мову Egison, переносити прототипи та перетворювати математичні специфікації в виконуваний код. У результат входять чистий комментований вихідник, README, запускаємий набір тестів та короткий созвон з розбором. За плечима кілька років функціонального програмування на Haskell та Scheme, тому перехід до мови Egison дається мені природно. Опишіть, які структури потрібно зіставити й які тотожності довести, і я пришлю план з етапами ще до першої строчки коду.