Hope (programming language): Difference between revisions

Revision as of 18:36, 14 January 2025

Revision as of 15:15, 15 January 2025

Line 44:

--- fact n <= n*fact(n-1);

Changing the order of clauses does not change the meaning of the program, because Hope's pattern matching always favors more specific patterns over less specific ones. Explicit [[Declaration (computer programming)|declarations]] of [[data type]]s in Hope are required; there is no option to use a [[type inference]] algorithm in Hope.

Hope provides two built-in [[data structure]]s: [[tuple]]s and [[List (abstract data type)|lists]].<ref name=byte/>