Hope+
1 program
Added 2026-03-17T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Hope-Plus
Provenance: commit efd40beffd · authored 2026-03-17T03:01:35+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
5 sources · pl_id:
pl/hopeWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | functional |
|---|---|
| Designed by | University of Edinburgh · Rod Burstall D. B. MacQueen Don Sannella |
| First appeared | 1980 |
| Influenced by | NPL |
Related languages
LLM-contributed programs
List Operations
Provenance: commit efd40beffd · authored 2026-03-17T03:01:35+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
type list(alpha) == nil | alpha :: list(alpha);
dec hd : list(alpha) -> alpha;
--- hd(alpha :: list(alpha)) <= alpha;
dec tl : list(alpha) -> list(alpha);
--- tl(alpha :: list(alpha)) <= list(alpha);
dec append : list(alpha) # list(alpha) -> list(alpha);
--- append(nil, l) <= l;
--- append(a :: l1, l2) <= a :: append(l1, l2);
dec length : list(alpha) -> num;
--- length(nil) <= 0;
--- length(a :: l) <= 1 + length(l);
dec reverse : list(alpha) -> list(alpha);
--- reverse(nil) <= nil;
--- reverse(a :: l) <= append(reverse(l), a :: nil);
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)