15 Aug
2008
15 Aug
'08
9:47 a.m.
"Paul Keir"
text (a ++ b ++ c ++ d)
The above is going to be ugly-printed onto a single line, whilst this:
text a <+> text b <+> text c <+> text d
has a chance to be pretty-printed onto several lines, if each component is individually long. It doesn't really matter which expression is faster, if they do different things. The first solution fails to use the pretty-printing API to any significant advantage, whilst the second is more in the spirit of the thing. Regards, Malcolm