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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D.E. Rydeheard, R.M. Burstall, Computational Category Theory. Prentice Hall, 1988.
L. Duponcheel, E. Meijer, On the expressive power of constructor classes. Research Report RUU, 1994 (to appear).
P. Hudak, S. Peyton Jones, P.Wadler, Report on the programming language Haskell, version 1.2. ACM SIGPLAN Notices, Vol. 27 (5), May 1992.
M.P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism. Proceedings of the ACM conference on Functional Programming Languages and Computer Architecture, 1993.
M.P. Jones, L. Duponcheel, Composing monads. Research Report YALEU/DCS/RR-1004, 1993.
S. Liang, P. Hudak, M.P. Jones, Monad transformers and modular interpreters. Research Report, YALEU/DCS, 1994.
G.L. Steele Jr., Building interpreters by composing monads. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1994.
P. Wadler, The essence of functional programming. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1992.
P. Wadler, S.P. Jones, Imperative functional programming. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London
About this paper
Cite this paper
Duponcheel, L., Meijer, E. (1995). On the expressive power of Constructor Classes. In: Hammond, K., Turner, D.N., Sansom, P.M. (eds) Functional Programming, Glasgow 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3573-9_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3573-9_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-19914-4
Online ISBN: 978-1-4471-3573-9
eBook Packages: Springer Book Archive