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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
