Abstract
The aim of this paper is to explore the expressive power of constructor classes, a generalisation of type classes. We present a categorical prelude for Gofer, a programming environment which supports constructor classes. The prelude contains much more code than the one which is dealt with in the paper. We do not go into all the details of the prelude. We explain why we wrote it and how certain language constructs have made it possible to do so.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have