In English

Lollipop - A general purpose, functional programming language with linear types

Edvard Hübinette ; Johan Andersson ; Jonathan Johansson ; Marie Klevedal ; Mikael Malmqvist
Göteborg : Chalmers tekniska högskola, 2016. 53 s.
[Examensarbete för kandidatexamen]

This project designs and implements a general-purpose functional programming language with linear types, called Lollipop. The purpose is to investigate how linear types can be a part of modern programming languages. The language should also act as a pedagogical platform for developers to get acquainted with the concept, because linear types are not implemented in any mainstream language on the market. The focus is not to deliver a well-polished product ready for deployment, but rather to evaluate the development process of linear types in a functional language with its complications. The language should, however, have a rigorous type system and have the basic functionality of a functional language, as well as the addition of linear type variables and basic user interaction. The compiler front end of the language was developed using BNFC while the interpreter, inner abstract syntax tree, conversion from surface syntax, type inferencing and other extensions were written in Haskell. The project was done using agile development cycles and milestones and resulted in a working proof-of-concept having the planned usability, albeit with some blemishes. Lollipop can be used as a base for further development as well as a tool for learning the basics of linear types for the common developer.

Nyckelord: Functional programming, Linear types, BNFC, Haskell



Publikationen registrerades 2016-11-14. Den ändrades senast 2016-11-14

CPL ID: 245123

Detta är en tjänst från Chalmers bibliotek