The Hopper language- A Haskell-like language on the Erlang VM

Visa enkel post
dc.contributor.authorHughes, William
dc.contributor.authorJarmar, Jakob
dc.contributor.authorLarsson, Johan
dc.contributor.authorLindbom, David
dc.contributor.authorNorgren, Björn
dc.contributor.authorWikström Schützer, Johan Wikström
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T13:42:07Z
dc.date.available2019-07-03T13:42:07Z
dc.date.issued2015
dc.description.abstractThe following report aims to give insight into the design and implementation of a statically typed functional language for the Erlang virtual machine, discussing how such an implementation may be approached and whether it appears to be feasible. The primary goal of the project was to design a grammar specification and implement a compiler for such a language. Over the course of the project a prototype language and a compiler for that language were developed. The project followed an iterative development process with Scrum as a basis. Notable modules of the compiler are the parser generated from a BNF grammar, the type checker implementing a Hindley-Milner type system and the code generator generating Core Erlang source code. The result of the project is Hopper, a basic functional programming language with an accompanying compiler, featuring polymorphic algebraic data types (ADTs), pattern matching and lambdas. The language also has a module system and some integration with Erlang. In conclusion, the project was largely successful in its mission to create a typed functional language on the Erlang VM and has the potential to be developed further.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/218906
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectInformations- och kommunikationsteknik
dc.subjectData- och informationsvetenskap
dc.subjectInformation & Communication Technology
dc.subjectComputer and Information Science
dc.titleThe Hopper language- A Haskell-like language on the Erlang VM
dc.type.degreeExamensarbete för kandidatexamensv
dc.type.degreeBachelor Thesisen
dc.type.uppsokM2
local.programmeDatateknik 300 hp (civilingenjör)
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
218906.pdf
Storlek:
523.83 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för kandidatexamen