
2 Oct
2003
2 Oct
'03
9:22 a.m.
W liĆcie z czw, 02-10-2003, godz. 11:13, Juanma Barranquero pisze:
The intent is that Counted objects "count" the number of times an operation is applied to them.
As you discovered, there is no meaningful count of operations. If an operation doesn't do anything, do you count it? I suppose yes - but monad laws say that "return" *really* doesn't do anything, and you incremented the count for it. "return" should have the count of 0. Some other operations could have a positive count, there is no obvious choice which ones. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/