
11 Feb
2009
11 Feb
'09
3:29 a.m.
Good. I'm not ready for _|_ yet .. :-)
There's actually nothing all that difficult about _|_; it is the value of divergent computations--i.e. infinite recursion which never actually produces any data. We usually also say that anything which results in a run-time error is _|_. For example, each of the following is _|_: undefined error "blarg" let x = x in x let y = y + 1 in y
Thanks for the very detailed reply. It was extremely helpful!
Glad to hear it! -Brent