Re: [Ocaml-lib-devel] Proposal for new list functions

[Janne H. <jjh...@gm...>]

>     The proposed separate function is doing the opposite of concatentatio=
n,
> so how about called it List.decatenate?  It is admitedly a wierd name,
> but it gets the meaning across and is reasonably specific: if you
> understand list concatentation, you'll have a general idea of what
> decatenate ought to do.

It's a bit strange name, but I like it!  It must be said though that=20

"concat (decatenate p lst)"

does not equal to the original list as elements satisfying predicate p
are thrown away.

String.concat takes an additional parameter that is inserted between
the concatenated elements.  I would find such a functionality useful
lists too.

Best regards,
Janne