From: Nicolas C. <war...@fr...> - 2005-10-03 05:38:01
|
> What exactly *is* an enum? Is it a lazy list? sequence? totally > ordered multiset? It's more like a lazy sequence. Since it's lazy, it can be infinite if you define a "next" function always returning an element. But it's consuming so when enumerating "append e e" you first consume "e" and then "e" is empty, so it's not circular. Nicolas |