[Haskell-cafe] The values of infinite lists

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Wed May 10 10:39:23 EDT 2006


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



More information about the Haskell-Cafe mailing list