
13 Mar
2009
13 Mar
'09
11:25 a.m.
"Heinrich" == Heinrich Apfelmus
writes:
Heinrich> Abstraction is the one driving force for very short Heinrich> names. For example, take the definition of foldr Heinrich> foldr f z [] = z foldr f z (x:xs) = f x (foldr f z Heinrich> xs) Heinrich> Since this function is polymorphic, so f , z and the xs Heinrich> can be anything, using more "descriptive" variable names Heinrich> is simply not possible; the key point of fold is its Heinrich> generality. Wouldn't unit be a better descriptive name than z? -- Colin Adams Preston Lancashire