
18 Jul
2006
18 Jul
'06
10:45 a.m.
Udo Stenzel schrieb:
However, by analogy with 'break' and 'span' it should be just 'split', and if you want to split on white space, you say so: 'split isSpace'.
I also think, this version of 'split' (or whatever you want to call it) is all that's needed, because
*> lines == split (== '\n') *> words == filter (not.null) . split isSpace
good idea. I support this, too. Christian