Hänni, Cyrill and Kessler, Dominik (2018) Lambda Calculus Calculator. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.
Text
HS 2018 2019SAABKesslerHänniThe 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, dreductions and dreduction 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  
Creators: 


Contributors: 


Depositing User:  HSR Deposit User  
Date Deposited:  26 Mar 2019 06:46  
Last Modified:  26 Mar 2019 06:46  
URI:  http://eprints.hsr.ch/id/eprint/739 
Actions (login required)
View Item 