Step-by-Step Evaluator of Haskell Expressions

Bc. Henrieta Micheľová

Master's thesis

Anotácia:

Haskell je jedným z najslávnejších funkcionálnych programovacích jazykov, ktorý sa okrem iného používa aj k výučbe základov funkcionálneho programovania. V rámci tejto práce sa zameriame na lenivú vyhodnocovaniu stratégiu jazyka Haskell. V tejto práci popíšeme návrh a implementáciu nástroja, ktorý bude demonštrovať krokové vyhodnotenie výrazov v jazyku Haskell. Tento nástroj je určený primárne študentom, ktorý s programovaní v jazyku Haskell ešte len začínajú a potrebujú si overiť správnosť vyhodnocovania výrazov.

Abstract:

Haskell is one of the most famous functional programming languages, which is also often used to teach functional programming basics. In this thesis, we focus on the lazy evaluation strategy of the language. This thesis describes the design and implementation of a tool which demonstrates the step-by-step evaluation process of Haskell expressions. This tool primary aims at students starting to learn Haskell and need help in understanding the order of the step-by-step evaluation of expressions.

Keywords

Haskell, Template Haskell, expression evaluation, lazy evaluation, GHCi

Jazyk práce: English

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

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

• Obhajoba proběhla 21. 6. 2022
• Vedúci: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Theoretical computer science / Principles of programming languages