Developing a type system for a minimal reversible functional language.
-
Updated
Aug 30, 2018 - TeX
Developing a type system for a minimal reversible functional language.
Understanding concepts of functional languages (ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. The paper was written in German during a semester university project. Maybe it helps anyone on his road to functional programming as well.
Add a description, image, and links to the type-classes topic page so that developers can more easily learn about it.
To associate your repository with the type-classes topic, visit your repo's landing page and select "manage topics."