
10 May
2006
10 May
'06
6:16 a.m.
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.