Teaching Functional Programming in Idris
Name
Karoliine Holter
Abstract
Over the last ten years, functional programming has developed and moved forward. The Bachelor's work aims to examine whether the dependently typed language Idris is a suitable language for teaching classical and modern functional programming subjects in a bachelor's degree. To this end, the practical tasks of the course that were based on Haskell and mainly covered the traditional functional programming topics were adapted to Idris. It was examined which new topics could be added to the curriculum by introducing Idris. The work presents the fundamental differences between Haskell and Idris in the scope of the subjects covered by the "Programming Languages" course and introduces programming with dependent types in Idris. Based on the work, it was concluded that Idris is a suitable language for teaching functional programming at a bachelor's level.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Kalmer Apinis, Vesal Vojdani
Defence year
2021