I'm trying to write a counter function that would return a tuple whose first element is the current value and whose second element is a new counter.
Our own Frank Atanassow offers a solution and gives an interesting discussion (including coalgebras and all that stuff).
(Thanks Oleg!)
Posted to theory by Ehud Lamm on 7/8/02; 5:47:22 AM
|