Реалізація лямбда-числення на мові Haskell
Loading...
Date
2021
Authors
Туріна, Кирило
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Було розглянуто лямбда-числення як теоретичну модель для опису обчислень. Також було реалізовано застосунок, чиєю функцією є виконання редукції над лямбда-виразами, та проаналізовано засоби та абстракції мови Haskell, які дозволяють ефективно реалізувати модель. Застосунок підтримує завантаження зовнішніх файлів з лямбда-визначеннями та виконання лямбда-виразів у консолі.
Description
Keywords
лямбда-числення, Haskell, моделі обчислення, лямбда-вираз, абстракції мови Haskell, бакалаврська робота