"Bill Page" <[EMAIL PROTECTED]> writes: | 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?
So, you expect that reducing addition operator over a List None should yield a NonNegativeInteger? I'm awfully surprised. -- Gaby ------------------------------------------------------------------------- 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
