University of Twente Student Theses
Introducing Typeling: an Imperative Programming Language with Algebraic Data Types
Horneț, Victor (2023) Introducing Typeling: an Imperative Programming Language with Algebraic Data Types.
|
PDF
442kB |
| Abstract: | Algebraic data types (ADTs) allow easy modelling of complex data structures. When paired with static type checking, they can empower the programmer to write more robust and reliable code. However, ADTs are not as popular in the context of imperative programming languages, compared to functional ones. This research paper investigates the current use of algebraic data types and proposes a new programming language that aims to make ADTs more accessible to beginner programmers with an imperative background. We explore existing implementations of ADTs in popular languages and combine their best features into the design of a new programming language called “Typeling”, then we construct a prototype compiler for it using the LLVM compiler infrastructure. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/96029 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page