Open bakkot opened 7 years ago
So that composing operations, e.g. catMaybes(list.filter(...).map(...)) does not create a bunch of throwaway objects.
catMaybes(list.filter(...).map(...))
So that composing operations, e.g.
catMaybes(list.filter(...).map(...))
does not create a bunch of throwaway objects.