The thesis is titled “Design and Algebraic Implementation of a Functional Programming Language”. I introduce a theoretical foundation mainly consisting of lambda calculus and algebraic modeling and design and implement (in Haskell) a small programming language, called Lightfold. Lightfold is purely functional and has a dependent type system, which allows for safer programs because types are computable and can depend on values. I might write blog articles about some of the topics covered in the future if I get around to it.
I plan to extend Lightfold in my free time in the future, maybe even into a fully usable general-purpose language in the long-term. I have collected a lot of ideas that could be incorporated into a programming language while writing and look forward to trying that out (after getting some rest from the topic ☺️).
As I’m a firm believer in free and open source software and in open-access science, both the thesis and the implementation of Lightfold are freely available, usable and adaptable under open licenses (not that I anticipate a lot of interest in that availability 😀).
If you have any ideas, comments or questions head on over to the respective source repositories or contact me directly.