[Haskell-cafe] The values of infinite lists

Antti-Juhani Kaijanaho antti-juhani at kaijanaho.fi
Wed May 10 02:16:32 EDT 2006

Deokhwan Kim wrote:
> Are the values of infinite lists _|_ (bottom)?

Depends on what you mean by "value".

If you define "value" to mean "normal form", then yes.

If you define "value" to mean "weak head normal form", then no.

The former is common in strict programming languages. In nonstrict 
functional programming, the latter is more useful.

More information about the Haskell-Cafe mailing list