Interpreter za lambda-račun

master's thesis

• Author: Sandro Lovnički
• Mentor: Vedran Čačić (mentor)
• Committee member: Vedran Čačić (predsjednik povjerenstva)
• Committee member: Goranka Nogo (član povjerenstva)
• Committee member: Zoran Vondraček (član povjerenstva)
• Committee member: Sonja Štimac (član povjerenstva)
• Granter: University of Zagreb; Faculty of Science; (Department of Mathematics); Zagreb
• Defense date and country: 2018-09-20, Croatia
• Scientific / art field, discipline and subdiscipline: NATURAL SCIENCES; Mathematics

Abstract

Ukratko, u ovom radu upoznali smo čitatelja s osnovama \(\lambda\)-računa --- jednog od modela za proučavanje izračunavanja koji je ujedno poslužio i kao temelj teorije funkcijskih programskih jezika. Također, bavimo se numeralima --- reprezentacijama brojeva u \(\lambda\)-računu, postojećim brojevnim sustavima poput Churchovih numerala te binarnim brojevnim sustavom koji smo samostalno definirali. Kako bismo mogli evaluirati velike i komplicirane \(\lambda\)-izraze, stvorili smo i programski jezik pLam --- interpreter za čisti (eng. pure) Lambda račun s kojim možemo raditi interaktivno, a i pisati programe koje možemo spremiti kao tekstualne datoteke s ekstenzijom .plam te kasnije pokretati. U radu nastojimo popratiti svako poglavlje relevantnim primjerima kodova pisanih u jeziku pLam.

Abstract (english)

In this paper, we introduce the reader to basics of \(\lambda\)-calculus — one of the models for studying computation which served as the foundation for the theory of functional programming languages. Furthermore, we deal with numerals — representations of numbers in \(\lambda\)-calculus, existant numeral systems like Church numerals and binary numerals which we defined ourselves. In order to evaluate large and complex \(\lambda\)-expressions, we created a programming language pLam — interpreter for pure Lambda calculus, enabling interactive mode, as well as writting programs, saving them as text files with .plam extension and running them later on. Throughout this paper, in each chapter we try to give relevant code examples written in pLam.

• Keywords: lambda-račun; \(\lambda\)-račun; λ-račun; numerali; Churchovi numerali; pLam; interpreter
• Keywords (english): lambda-calculus; \(\lambda\)-calculus; λ-calculus; numerals; Church numerals; pLam; interpreter
• Language: croatian
• URN:NBN: urn:nbn:hr:217:929434
• Study programme: Title: Computer Science and Mathematics; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra računarstva i matematike (magistar/magistra računarstva i matematike)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Open access
• Created on: 2019-06-04 12:22:08