JFLP: Volume 1999, Article 3

The Journal of Functional and Logic Programming

Volume 1999

Article 3

Published by The MIT Press . Copyright 1999 Massachusetts Institute of Technology.

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

Programming in an Integrated Functional and Logic Language

John Lloyd

15 March 1999

Abstract

Escher is a general-purpose, declarative programming language that integrates the best features of both functional and logic programming languages. It has types and modules, higher-order and meta-programming facilities, concurrency, and declarative input/output. The main design aim is to combine in a practical and comprehensive way the best ideas of existing functional and logic languages, such as Haskell and Gödel. In fact, Escher uses the Haskell syntax and is most straightforwardly understood as an extension of Haskell. Consequently, this paper discusses Escher from this perspective. It provides an introduction to the Escher language, concentrating largely on the issue of programming style and the Escher programming idioms not provided by Haskell. Also the extra mechanisms needed to support these idioms are discussed.

The following versions of the article are available:

• Preformatted versions of the article (compressed with gzip )
  • DVI (gzip'ped 40 kb)
  • PostScript (gzip'ped 172 kb)
  • PDF (gzip'ped 228 kb; uncompressed 347 kb)
• Source materials for custom formatting
  • LaTeX ( JFLP-A99-03.tex , gzip'ped 25 kb)
  • BIBTeX ( JFLP-A99-03.bib , gzip'ped 1 kb)
  • Parameter settings for custom formatting ( cjropts.tex , 165 bytes)

You can find this article also on the ftp-server of The MIT Press (access may be faster from some sites).

Self citation

    @article{jflp99-3,
      author={John Lloyd},
      title={Programming in an Integrated Functional and Logic Language},
      journal={Journal of Functional and Logic Programming},
      volume={1999},
      number={3},
      publisher={The MIT Press},
      month={March},
      year={1999}
    }

Main page