Skip to main content
Springer Nature Link
Log in

On the expressive power of Constructor Classes

  • Conference paper
Functional Programming, Glasgow 1994

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 61 Accesses

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

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. D.E. Rydeheard, R.M. Burstall, Computational Category Theory. Prentice Hall, 1988.

    Google Scholar 

  2. L. Duponcheel, E. Meijer, On the expressive power of constructor classes. Research Report RUU, 1994 (to appear).

    Google Scholar 

  3. P. Hudak, S. Peyton Jones, P.Wadler, Report on the programming language Haskell, version 1.2. ACM SIGPLAN Notices, Vol. 27 (5), May 1992.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. M.P. Jones, L. Duponcheel, Composing monads. Research Report YALEU/DCS/RR-1004, 1993.

    Google Scholar 

  6. S. Liang, P. Hudak, M.P. Jones, Monad transformers and modular interpreters. Research Report, YALEU/DCS, 1994.

    Google Scholar 

  7. G.L. Steele Jr., Building interpreters by composing monads. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1994.

    Google Scholar 

  8. P. Wadler, The essence of functional programming. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1992.

    Google Scholar 

  9. P. Wadler, S.P. Jones, Imperative functional programming. Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vakgroep Informatika, Rijks Universiteit Utrecht, Utrecht, The Netherlands

    Luc Duponcheel & Erik Meijer

Authors
  1. Luc Duponcheel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erik Meijer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, Glasgow University, G12 8QQ, Glasgow, Scotland

    Kevin Hammond PhD , David N. Turner BSc  & Patrick M. Sansom BSc, PhD ,  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics