On 31 Oct 2007 19:23:44 +0100, Francois Maltey wrote: > > And what do you think about a map as : > > map (t +-> [|wholePart t, sin t|], [1.1,2.2,3.3]) > > where [|....|]creates a makeprod with right types. >
It's ok, but way should we require the dummy variable 't' when we can operate directly on functions with the higher-order function 'product'? I think t +-> [|wholePart t, sin t|] is just a slightly awkward way to write: product(wholePart,sin) > It's a good thing that record will remain mutable and the other > structure product won't be mutable. So there is no ambiguity. > Maybe there should be both 'Record' and 'Record!' where as usual the ! denotes mutability? Regards, Bill Page. _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
