Lambda Calculus Calculator

Hänni, Cyrill and Kessler, Dominik (2018) Lambda Calculus Calculator. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

[thumbnail of HS 2018 2019-SA-AB-Kessler-Hänni-The Greatest Lambda Calculus Interpreter Yet!.txt] Text
HS 2018 2019-SA-AB-Kessler-Hänni-The Greatest Lambda Calculus Interpreter Yet!.txt - Supplemental Material

Download (1kB)

Abstract

Introduction:
Lambda calculus is the mathematical basis for functional programming and often used to introduce it. There are currently a few lambda calculus interpreters
available, but it was felt that all of them suffer from an unintuitive user experience, an unappealing user interface and require too much effort to understand.

The purpose of the term project "Lambda Calculus Calculator" was to write a user friendly lambda calculus interpreter, which can be used to teach lambda calculus
right from the beginning.

Result:
The outcome of the study project is a single page web application written in the functional programming language elm. The focus of the application lies on the derivation of lambda terms, which can either be reduced manually or by selecting a strategy.

Lambda Calculus Calculator supports three different reduction methods:
ß-reductions, d-reductions and d-reduction for numerals, as well as two different resolution strategies: outermost first and innermost first.
The project will be released at www.lambdacalc.io to the open source community under a MIT license so that anyone can contribute to it and other universities are able to incorporate the application into their classes and adapt it to their needs.

Check out the result at https://lambdacalc.io

Item Type: Thesis (Student Research Project)
Subjects: Topics > HCI Design
Area of Application > Web based
Area of Application > Academic and Education
Divisions: Bachelor of Science FHO in Informatik > Student Research Project
Depositing User: OST Deposit User
Contributors:
Contribution
Name
Email
Thesis advisor
Mehta, Farhad
UNSPECIFIED
Date Deposited: 26 Mar 2019 06:46
Last Modified: 26 Mar 2019 06:46
URI: https://eprints.ost.ch/id/eprint/739

Actions (login required)

View Item
View Item