15 Mar
2004
15 Mar
'04
6:42 a.m.
Am Sonntag, 14. März 2004 18:31 schrieben Sie:
[...]
And why does Seq.concat have the type Seq (Seq a) -> Seq a instead of [Seq a] -> Seq a which would be more consistent with the other modules?
I gave it some thought, and concluded that it is more important for Seq to be consitent with itself than with other modules. This really should be solved with type classes, yet we chose not to introduce new classes with DData.
Moreover, Seq is an instance of Monoid, so 'mconcat' can be used.
But why does LambdaSeq.concat have the type [LambdaSeq a] -> LambdaSeq a instead of LambdaSeq (LambdaSeq a) -> LambdaSeq a then?
[...]
Cheers, JP.
Wolfgang