Реалізація лямбда-числення в Haskell

Simple item page
dc.contributor.advisorПроценко, Володимирuk_UA
dc.contributor.authorСоболєв, Владиславuk_UA
dc.date.accessioned2025-09-10T14:19:16Z
dc.date.available2025-09-10T14:19:16Z
dc.date.issued2025
dc.description.abstractЦя робота присвячена розробці та реалізації інтерактивного інтерпретатора нетипізованого лямбда-числення мовою Haskell. Проєкт сфокусований на створенні освітнього інструменту, що дозволяє користувачам зрозуміти концепції лямбда-обчислень та функціонального програмування. Ключові аспекти реалізації включають розробку абстрактного синтаксичного дерева (AST), надійного парсера за допомогою Parsec, а також механізму обчислення, що використовує повний нормальний порядок редукції з коректною підстановкою та α-перетворенням. Інтерпретатор підтримує кодування Черча для арифметики та булевої логіки. Реалізація включає інтерактивний графічний інтерфейс користувача (GUI) на базі GTK+, який забезпечує інтуїтивне введення декількох виразів та покрокову візуалізацію β-редукції. Також є можливість збереження користувацьких визначень у базі даних SQLite для створення власних бібліотек функцій.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/36605
dc.language.isoukuk_UA
dc.statusfirst publisheduk_UA
dc.subjectЛямбда-численняuk_UA
dc.subjectHaskellen_US
dc.subjectФункціональне програмуванняuk_UA
dc.subjectІнтерпретаторuk_UA
dc.subjectАбстрактне синтаксичне дерево (AST)uk_UA
dc.subjectПарсингuk_UA
dc.subjectБета-редукціяuk_UA
dc.subjectНормальний порядокuk_UA
dc.subjectGTK+en_US
dc.subjectSQLiteen_US
dc.subjectПокрокова візуалізаціяuk_UA
dc.subjectмагістерська роботаuk_UA
dc.titleРеалізація лямбда-числення в Haskelluk_UA
dc.typeOtheruk_UA
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
Soboliev_Mahisterska_robota.pdf
Size:
575.67 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
Soboliev_Mahisterska_robota_1.pdf
Size:
263.1 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
F3 Комп'ютерні науки