Online Lambda Calculus Evaluator

Bc. Jakub Kadlecaj

Bachelor's thesis

Anotácia:

Táto bakalárska práca sa zaoberá návrhom a implementáciou interaktívnej učebnej pomôcky určenej k napomáhaniu pochopenia základných princípov lambda kalkulu – formalizmu ktorý je nielen dôležitý v oblasti teoretickej informatiky, ale aj aplikovateľný v reálnych súčasných výpočetných systémoch. Výsledkom tejto práce je online aplikácia prijímajúca termy λ-kalkulu vložené používateľom, umožňujúca ich vyhodnocovanie podľa používateľom-zvolených kritérii, napríklad podľa vyhodnocovacej stratégie alebo typového systému, a poskytujúca niekoľko možností pre import a export.

Abstract:

This thesis deals with the design and the implementation of an interactive learning tool, intended to aid in the understanding of the fundamental principles of lambda calculus—a formalism that is not only important to theoretical computer science, but also has many applications in today’s real-world systems. The product of this work is an online application accepting λ-calculus terms input by a user, enabling their evaluation by user-selected criteria, including evaluation strategy and type system, with several import- and export options.

Keywords

lambda calculus, web application, functional programming, type theory, JavaScript, logic

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 28. 5. 2018

Obhajoba závěrečné práce

• Obhajoba proběhla 28. 6. 2018
• Vedúci: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: RNDr. Vladimír Štill

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Artificial Intelligence and Natural Language Processing