User loginNavigation 
Unfilter (or merge) listsWhat is the standard functional construct which is the converse of filter? Eg. if I want to add 0 between all elements of a list? Or if I want to merge two sorted lists preserving sorting? I am thinking of a "unfilter" construct which takes a list of lists, and a list of functions applied in turn (*insert 0 between two elements of the list*) unfilter [a] [fun x::xs > (x, [xs]); fun as > (0, [as])] (*merge two sorted lists*) unfilter [a;b] [fun as, bs > match as, bs with  x::xs, y::ys => if y < x then (y, [as;ys]) else (x, [xs;bs])  [], y::ys => (y, [[];ys])  x::xs, [] => (x, [xs;[]])] By Denis Bredelet jido at 20080422 11:25  LtU Forum  previous forum topic  next forum topic  other blogs  4774 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
1 week 3 days ago
1 week 5 days ago
1 week 6 days ago
2 weeks 1 min ago
2 weeks 3 hours ago
2 weeks 19 hours ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago