Re: Nested Guards

On 7/1/06, Bas van Dijk wrote:

I would like to propose a feature from the FP language Clean[1] called Nested Guards. Example from [2]:

example arg1 arg2 | predicate11 arg1 | predicate21 arg2 = calculate1 arg1 arg2 | predicate22 arg2 = calculate2 arg1 arg2 | otherwise = calculate3 arg1 arg2 | predicate12 arg1 = calculate4 arg1 arg2

I think this is great. Does it have fall-through semantics? -- Taral "You can't prove anything." -- Gödel's Incompetence Theorem