H ? « »

Language peer sets for HOPE:
United Kingdom
United Kingdom/1978
Designed 1978
1970s languages
Fourth generation
High Cold War

HOPE(ID:810/hop001)

alternate simple view
Country: United Kingdom
Designed 1978
Published: 1978


Named for Hope Park Square, where Edinburgh's Computer Science Department was (but also for Higher Order Parameters and "springs eternal" and so forth.)

R.M. Burstall and Don Sanella , U Edinburgh and Dave McQueen, Bell Labs 1978.

Functional language with polymorphic types and lazy lists. First language to use call-by-pattern.
a small polymorphically-typed functional language. First language to use call-by-pattern. HOPE was originally strict, but there are versions with lazy lists, or with lazy constructors but strict functions.



Places
People:
Structures:
Related languages
NPL HOPE   Successor
HOPE FP/M   Target language for
HOPE Hope+   Extension of
HOPE SML   Derivation of

References:
  • Burstall , R. M.; Darlington, John (1977) Burstall , R. M.; Darlington, John "A Transformation System for Developing Recursive Programs" p44-67 Abstract
          in [ACM] (1977) [ACM] JACM 24(1) Jan 1977
  • Burstall, R.M. (1977) Burstall, R.M. "Design Considerations for a Functional Programming Language"
          in Infotech State of the Art Conference: The Software (1977) Infotech State of the Art Conference: The Software Revolution, Copenhagen, October, 1977.
  • Burstall, R.M. (1977) Burstall, R.M. and Sannella, D.T. HOPE User's Manual. In preparation.
          in Infotech State of the Art Conference: The Software (1977) Infotech State of the Art Conference: The Software Revolution, Copenhagen, October, 1977.
  • Burstall R.M., MacQueen D.B. and Sannella D, T. (1980) Burstall R.M., MacQueen D.B. and Sannella D, T. "HOPE: An experimental Applicative Language" Internal Report CSR-62-80 (Updated Feb. 1981). Department of Computing Science. University of Edinburgh.
          in Infotech State of the Art Conference: The Software (1977) Infotech State of the Art Conference: The Software Revolution, Copenhagen, October, 1977.
  • Burstall, R.M. et al, (1980) Burstall, R.M. et al, "HOPE, an Experimental Applicative Language" pp136-143 Abstract Extract: HOPE
          in [ACM] (1980) [ACM] Proceedings of the 1980 ACM Conference on LISP and functional programming 1980, Stanford University
  • Eisenbach S. (1981) Eisenbach S. HOPE SWURCC Micro Software Quarterly Issue 5 Nov 1981. University of Bath Computer Center.
          in [ACM] (1980) [ACM] Proceedings of the 1980 ACM Conference on LISP and functional programming 1980, Stanford University
  • Moor, Ian W. (1982) Moor, Ian W. "An applicative compiler for a parallel machine" Abstract
          in [CC 1982] (1982) SIGPLAN Notices 17(06) June 1982 Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, June 23-25, 1982
  • Wu W.H. (1982) Wu W.H. Using the Imperial College HOPE interpreter. Internal Report. Department of Computing, Imperial College, 1982.
          in [CC 1982] (1982) SIGPLAN Notices 17(06) June 1982 Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, June 23-25, 1982
  • Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
          in [CC 1982] (1982) SIGPLAN Notices 17(06) June 1982 Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, June 23-25, 1982
  • Bailey, R. (1985) Bailey, R. "A HOPE Tutorial" pdf
          in (1985) BYTE August 1985
  • Eisenbach, S.; McLoughlin, L.; Sadler, C. (1989) Eisenbach, S.; McLoughlin, L.; Sadler, C. "Data-flow design as a visual programming language" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp281-283 Abstract DOI
          in (1985) BYTE August 1985
  • Bailey, R. (1990) Bailey, R. "Functional Programming with Hope", Ellis Horwood 1990.
          in (1985) BYTE August 1985
    Resources
    • PC Hope
    • Hope home page
      Hope is a small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions. The version here is a fully lazy interpreter.

      - A Hope tutorial by Roger Bailey (also available in DVI, PostScript and PDF formats).
      - A Hope interpreter - Reference (also available in DVI, PostScript and PDF formats).
      - Hope libraries.
      - A few Hope examples. (also available in DVI, PostScript and PDF formats).
      - C source code for the interpreter (distributed under the GNU General Public Licence).

    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder