Трансформации между ADT с аккумуляциeй ошибок с использованием аппликативных функторов на языке Scala

Аннотация

В процессе написания выпускной квалификационной работы, были разработаны две имеющие свои достоинства и недостатки реализации механизма автоматического вывода трансформаций между ADT во время компиляции, при наличии правил трансформации между типами порождающими эти ADT. Была разработана гибкая система ошибок, позволяющая аккумулировать все независимые ошибки, которые происходят при трансформации. Одно из предложенных решений было использовано в боевом проекте