Introducing CLOVER: An object-oriented functional language

  • Lee Braine
  • Chris Clack
Conference paper

DOI: 10.1007/3-540-63237-9_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1268)
Cite this paper as:
Braine L., Clack C. (1997) Introducing CLOVER: An object-oriented functional language. In: Kluge W. (eds) Implementation of Functional Languages. IFL 1996. Lecture Notes in Computer Science, vol 1268. Springer, Berlin, Heidelberg

Abstract

The search for a language which combines both functional and object-oriented features has a long and distinguished history [Can82, Car84, BK86, BD88, BGW91, MHH91, AP93, CL91, MMH91, Sar93, CL96]. The aim is to integrate the formal methods benefits of functional programming with the software engineering benefits of both paradigms. However, to date we know of no language which can claim to be both purely functional and purely object-oriented (and retains complete type safety). We present CLOVER, a new language which is 100% functional and 99% object-oriented. It is also completely type safe. We explain the design issues and how CLOVER achieves its aim. We also explain the “missing” 1%, discuss its relevance, and illustrate how its loss can be extenuated through the use of a new visual programming notation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Lee Braine
    • 1
  • Chris Clack
    • 1
  1. 1.Department of Computer ScienceUniversity College LondonLondonUK

Personalised recommendations