[Haskell-cafe] The values of infinite lists

Brian Hulley brianh at metamilk.com
Wed May 10 12:30:58 EDT 2006


Bjorn Lisper wrote:
> Nontermination is not
> the precisely the same as _|_. Only certain kinds of nontermination
> can be modeled by _|_ in a non-strict language.

What kinds of non-termination are *not* modelled by _|_ in Haskell?

Thanks, Brian.


More information about the Haskell-Cafe mailing list