[Haskell-cafe] The values of infinite lists

[Bjorn Lisper]

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