[Haskell-cafe] The values of infinite lists

[Antti-Juhani Kaijanaho]

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.