
6 Nov
2009
6 Nov
'09
5:31 a.m.
Luke Palmer wrote:
On Fri, Nov 6, 2009 at 3:06 AM, Martijn van Steenbergen
wrote: "(...) Likewise, a breadth-first search of a data structure can fall short if it has an infinitely branching node. Omega addresses this problem by using a "diagonal" traversal that gracefully dissolves such data."
However, I can't verify this:
runOmega . mapM each $ map (:[]) [1..] *** Exception: stack overflow Or maybe I misunderstood Omega's documentation.
You are asking for the impossible.
Oh, and I realise now that this has been mentioned two times before already in this thread. *hangs head in shame* Are there examples of infinitely branching nodes where it is possible to give some output? Otherwise I'm not sure what the documentation is saying. Martijn.