Проценко, ВолодимирСоболєв, Владислав2025-09-102025-09-102025https://ekmair.ukma.edu.ua/handle/123456789/36605Ця робота присвячена розробці та реалізації інтерактивного інтерпретатора нетипізованого лямбда-числення мовою Haskell. Проєкт сфокусований на створенні освітнього інструменту, що дозволяє користувачам зрозуміти концепції лямбда-обчислень та функціонального програмування. Ключові аспекти реалізації включають розробку абстрактного синтаксичного дерева (AST), надійного парсера за допомогою Parsec, а також механізму обчислення, що використовує повний нормальний порядок редукції з коректною підстановкою та α-перетворенням. Інтерпретатор підтримує кодування Черча для арифметики та булевої логіки. Реалізація включає інтерактивний графічний інтерфейс користувача (GUI) на базі GTK+, який забезпечує інтуїтивне введення декількох виразів та покрокову візуалізацію β-редукції. Також є можливість збереження користувацьких визначень у базі даних SQLite для створення власних бібліотек функцій.ukЛямбда-численняHaskellФункціональне програмуванняІнтерпретаторАбстрактне синтаксичне дерево (AST)ПарсингБета-редукціяНормальний порядокGTK+SQLiteПокрокова візуалізаціямагістерська роботаOther