On Thu, Oct 18, 2012 at 01:54:45PM -0400, Albert Y. C. Lai wrote:
On 12-10-18 05:24 AM, Serge D. Mechveliani wrote:
And concerning this example: I am not even sure now that it worths to setting $! there. Because I deliberately program qRem as returning a pair (quot, rem), and do not program a separate function for rem. And to obtain rem, one applies snd (qRem n m), and due to laziness, quot does not spend the cost. I do not know, may be, using $! may damage this style.
snd (quot, rem) does not spend the arithmetic cost of quot, but spends the memory cost of quot. Memory cost is not just occupation of memory, but also writing of memory and computing of addresses, which is not exactly cheaper than arithmetic.
But in this example of qRem the time is almost so as if quot was not computed. Probably, the coefficient of this expense is small. On the other hand, an extra memory occupation also often causes slowing down of all the environment program, because this occupation approaches garbage collection. I wonder whether it worths to return some strictness annotations. Regards, Sergei