Реалізація лямбда-числення в Haskell
Loading...
Date
2025
Authors
Соболєв, Владислав
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Ця робота присвячена розробці та реалізації інтерактивного інтерпретатора нетипізованого лямбда-числення мовою Haskell. Проєкт сфокусований на створенні освітнього інструменту, що дозволяє користувачам зрозуміти концепції лямбда-обчислень та функціонального програмування. Ключові аспекти реалізації включають розробку абстрактного синтаксичного дерева (AST), надійного парсера за допомогою Parsec, а також механізму обчислення, що використовує повний нормальний порядок редукції з коректною підстановкою та α-перетворенням. Інтерпретатор підтримує кодування Черча для арифметики та булевої логіки. Реалізація включає інтерактивний графічний інтерфейс користувача (GUI) на базі GTK+, який забезпечує інтуїтивне введення декількох виразів та покрокову візуалізацію β-редукції. Також є можливість збереження користувацьких визначень у базі даних SQLite для створення власних бібліотек функцій.
Description
Keywords
Лямбда-числення, Haskell, Функціональне програмування, Інтерпретатор, Абстрактне синтаксичне дерево (AST), Парсинг, Бета-редукція, Нормальний порядок, GTK+, SQLite, Покрокова візуалізація, магістерська робота