On Thu, Apr 3, 2008 at 10:58 AM, Gabriel Dos Reis wrote: > > Bill Page writes: > > | I don't think 'reduce(+,[])' requires too much magic - at least in > | the interpreter. Try: > | > ... > | (5) -> myreduce(+,[]) > | Compiling function myreduce with type (Variable +,List None) -> > | NonNegativeInteger > | > | (5) 0 > | Type: NonNegativeInteger > > I'm very surprised you find that result OK. >
I expect that reduce(+,A) + reduce(+,B) == reduce(+,concat(A,B)) so what else could it be? Regards, Bill Page. ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
