layout: strict-home-rr title: “JFLP: Volume 1999, Article 3”

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

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.

• 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)

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