Re: [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.
"Bill Page" <[email protected]> Wed, 31 Oct 2007 14:42:46 -0400
| Newsgroups | gmane.comp.mathematics.open-axiom.devel,gmane.comp.mathematics.axiom.general |
|---|---|
| Message-ID | <[email protected]> |
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. ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/