On 2006-11-13, roconnor@theorem.ca
On Mon, 13 Nov 2006, Bulat Ziganshin wrote:
i prefer name splitEithers. for me, unzipping is process of splitting list of (a,b) values into the list of 'a' values and list of 'b' values - just like unzipping in real life. this don't have anything common with the algorithm of this function
The concern I have with split is that almost all the other split functions work by taking an ordered container and returning two containers where everything in the first container preceeds everything in the second container. unzipEithers doesn't have this property. However unzipEithers is a process of splitting a list of Either a b values into a list of 'a' values and a list of 'b' values, similar to the unzip function.
Unzip is reversible though. The order is preserved, and (uncurry zip) . unzip = id = unzip . (uncurry zip) There is no "zipEithers" that is any sort of reverse. While I understand what is meant by unzipEithers, I think that I too would prefer split, break, extract, partition, or similar. If we think of lazy stream processing, it's a type of sorting fork or railway switch. Hmm. (,) is the generic product, and Either is the generic coproduct. counzip? -- Aaron Denney -><-