On Wed, 2006-05-10 at 23:29 +0900, Deokhwan Kim wrote:
> Bjorn Lisper wrote:
> 
> > precisely the same as _|_. Only certain kinds of nontermination can be
> > modeled by _|_ in a non-strict language.
> 
> What kinds of nontermination are modeled by _|_ in Haskell?

let f = f in f 3

length [0..]


Duncan

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to