Hope (programming language): Difference between revisions

Revision as of 23:15, 22 December 2017

Revision as of 23:34, 12 January 2018

Line 26:

--- fact 0 <= 1;

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

Unlike [[Haskell (programming language)|Haskell]], changing the order of the clauses does not change the meaning of the program, because Hope's pattern matching always favors more specific patterns over less specific ones. Another way in which Hope differs from Haskell and [[:Category:ML programming language family|ML]] is that explicit type declarations in Hope are required: there is no option to use a type-inference algorithm in Hope.