31 Jul
2010
31 Jul
'10
2:30 p.m.
michael rice wrote:
f x = length [head x] g x = length (tail x)
Wouldn't both functions need to evaluate x to the same level, *thunk* : *thunk* to insure listhood?
There is no need to "insure listhood" at run time, since Haskell is statically typed. Tillmann