search

sellout / Kilns

An experimental programming language based on the kell calculus.
MIT License
17 stars 2 forks source link

need to handle associativity in matching #7

Closed sellout closed 14 years ago

sellout commented 14 years ago

(par a b c) is equivalent to (par a (par b c)) (or any permutation thereof), so the following code

(trigger {test (par {?name} ?remainder)}
         {test ?remainder})
{test (par {a} {b} {c})}

should result in {test (par {a} {b})} or {test (par {a} {c})} or {test (par {b} {c})}. But currently it doesn't react at all.

sellout commented 14 years ago

This depends on issue #8 being fixed.

sellout commented 14 years ago

As with #8, this is a problem for a new pattern language.