Lambda the Ultimate

inactiveTopic Writing a counter function
started 7/8/2002; 5:44:48 AM - last post 7/8/2002; 5:44:48 AM
Ehud Lamm - Writing a counter function  blueArrow
7/8/2002; 5:44:48 AM (reads: 1442, responses: 0)
Writing a counter function
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