[Haskell-cafe] The values of infinite lists

Bjorn Lisper lisper at it.kth.se
Wed May 10 17:39:47 EDT 2006

Deokhwan Kim:
>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?

Nonterminating computations that never return anything. For instance,

inf = inf

Björn Lisper

More information about the Haskell-Cafe mailing list