On Tue, Sep 8, 2009 at 3:56 PM, Dieter Kaiser<drdieterkaiser at web.de> wrote:
> Is it of interest to support this feature? Comments?
"Distributes over" seems like an algebraic property to me.
I'd rather do it like this:
declare (foo, distributes_over (bar));
foo (bar (a, b, c));
=> bar (foo (a), foo (b), foo (c));
bar could be any operator, not just "[".
best
Robert