Live briefing
Everything about Hope (programming language)
Functional programming language
Hope is a programming language based on functional programming developed in the 1970s at the University of Edinburgh. It predates Miranda and Haskell and is contemporaneous with ML, also developed at the university. Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Hope (programming language)A 5-minute orientation
- Pick up a classic book: Functional programming with HopeThe most-reprinted book on the subject
- Go sideways: NPL (programming language)A closely related topic
- Go sideways: John DarlingtonA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
- No matching papers found.
📚 Books worth reading
- 📕Functional programming with HopeRoger Bailey · 1990
- 📕Functional programming with HopeRoger Bailey · 1990
Combinatorial designsAnderson, Ian Ph.D. · 1990
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- NPL (programming language) NPL is a functional programming language with pattern matching designed by Rod Burstall and John Darlington in 1977. The language allows certain sets and…
- John Darlington John Darlington is a British academic, researcher and author. He is an emeritus professor at Imperial College London. He was director of the London e-Science…
- Haskell Haskell (/ˈhæskəl/) is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Haskell pioneered…
- Rod Burstall Rodney Martineau Burstall (11 November 1934 – 13 February 2025) was a British computer scientist who was one of four founders of the Laboratory for Foundations…
- Functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative…
- List comprehension A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form…
- Glasgow Haskell Compiler The Glasgow Haskell Compiler (GHC) is a native or machine code compiler for the functional programming language Haskell. It provides a cross-platform software…
- Lazy evaluation In programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value…