 Hope (programming language)

Hope is a functional programming language that was designed in the early 1980s, primarily by the computer scientist Gordon P. A. S. Morrison and others, at the University of Cambridge. It was created as a research tool to explore concepts related to functional programming, type systems, and polymorphism.