[Axiom-math] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.

[Bill Page]

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.