# Hope

> functional programming language

**Wikidata**: [Q4040754](https://www.wikidata.org/wiki/Q4040754)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Hope_(programming_language))  
**Source**: https://4ort.xyz/entity/hope

## Summary
Hope is a functional programming language developed in 1970 at the University of Edinburgh. It is designed to use functional programming principles, emphasizing static typing and a declarative approach to problem-solving.

## Key Facts
- Hope was created in 1970 by the University of Edinburgh.
- It is classified as a functional programming language, adhering to functional programming principles.
- The language is statically typed, meaning type checking is performed at compile-time.
- Hope is licensed under the GNU General Public License, version 2.0.
- It is named after Sir Thomas Hope, 8th Baronet.
- The source code repository is available as a mirror on GitHub.
- Hope has Wikipedia pages in multiple languages, including English, Romanian, Russian, Ukrainian, and Chinese.

## FAQs
### Q: What is Hope?
A: Hope is a functional programming language developed in 1970 at the University of Edinburgh. It is designed to use functional programming principles and is statically typed.

### Q: Who developed Hope?
A: Hope was developed by the University of Edinburgh.

### Q: What is the license for Hope?
A: Hope is licensed under the GNU General Public License, version 2.0.

### Q: What is the typing discipline of Hope?
A: Hope uses static typing, meaning type checking is performed at compile-time.

### Q: Where can I find the source code for Hope?
A: The source code for Hope is available as a mirror on GitHub at [https://github.com/dmbaturin/hope/tree/6468782ae1f1ea06a1ff1ac5329779a777c88201](https://github.com/dmbaturin/hope/tree/6468782ae1f1ea06a1ff1ac5329779a777c88201).

## Why It Matters
Hope is significant as an early functional programming language that contributed to the development of functional programming principles. Its static typing and declarative approach have influenced subsequent programming languages and paradigms. Hope's creation at the University of Edinburgh highlights the institution's role in advancing computer science and programming language design. The language's emphasis on functional programming has helped shape modern software development practices, promoting cleaner, more maintainable code through immutable data and pure functions.

## Notable For
- Being one of the early functional programming languages developed in 1970.
- Its static typing discipline, which enhances type safety and error detection.
- Influence on subsequent functional programming languages and paradigms.
- Development by the University of Edinburgh, a notable institution in computer science.
- Availability of source code under the GNU General Public License, version 2.0.

## Body
### Development and History
Hope was developed in 1970 at the University of Edinburgh. It is named after Sir Thomas Hope, 8th Baronet. The language was designed to embody functional programming principles, which emphasize the evaluation of mathematical functions and avoid changing state and mutable data.

### Technical Specifications
- **Typing Discipline**: Hope uses static typing, meaning that type checking is performed at compile-time, which can help catch errors early in the development process.
- **Programming Paradigm**: Hope is a functional programming language, focusing on the application of functions to inputs to produce outputs, rather than changing state or using mutable data.
- **License**: Hope is licensed under the GNU General Public License, version 2.0, which allows for free use, modification, and distribution of the software.

### Source Code and Documentation
The source code for Hope is available as a mirror on GitHub. This provides developers and researchers with access to the language's implementation, facilitating further study and potential modifications.

### Related Entities
Hope is related to other functional programming languages and projects, such as Mercury, a functional logic programming language developed in 1995. Additionally, Hope is part of broader projects like HYFLEX and OREX, which are Japanese prototypes for testing atmospheric reentry.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Thing",
  "name": "Hope",
  "description": "A functional programming language developed in 1970 at the University of Edinburgh.",
  "url": "https://github.com/dmbaturin/hope/tree/6468782ae1f1ea06a1ff1ac5329779a777c88201",
  "sameAs": ["https://www.wikidata.org/wiki/Q1234567", "https://en.wikipedia.org/wiki/Hope_(programming_language)"],
  "additionalType": "ProgrammingLanguage"
}

## References

1. [Source](https://github.com/JohnMarkOckerbloom/ftl/blob/master/data/wikimap)
2. National Library of Israel Names and Subjects Authority File