Proposal for Data.List.splitBy
Marcus D. Gabriel
marcus at gabriel.name
Sun Jan 11 13:14:24 EST 2009
Brandon S. Allbery KF8NH wrote:
> On 2009 Jan 4, at 17:59, Marcus D. Gabriel wrote:
>> Henning Thielemann wrote:
>>> On Sun, 4 Jan 2009, Marcus D. Gabriel wrote:
>>>> We seem to have not added any splitters such as splitBy or split to
>>>> Data.List despite the discussions. Here is yet another perspective
>>>> with the hope that it will make it.
>>> I assumed that the discussion was resolved by
>> I did not have that impression.
> The discussion demonstrated why there is no standard split in
> Data.List: nobody can agree on how it should work. Hence the Split
> package, which should allow us to find out which ones get used and
> which don't, and which are viable candidates for addition to Data.List.
I did not really interpret the Split package this way, but thank you
this out to me. Let me follow up with Duncan's response and see if I
Marcus D. Gabriel, Ph.D. Saint Louis, FRANCE
http://www.marcus.gabriel.name mailto:marcus at gabriel.name
Tel: +126.96.36.199.05.06 Portable: +188.8.131.52.07.75
More information about the Libraries