Jacques Carette
Jacques Carette
I believe that co-patterns expand quite a lot less than explicit records. Definitely worth experimenting with -- but not worth major refactoring.
FYI: @e-mniang says she'll finish this once she's established a proper rhythm with this term's courses, back in France.
I like the current location. Because, to me `Algebra.Construct` is where *constructions* belong. What you do here is "the algebra (and properties) of functional vectors", so `Data.Vec.Functional.Algebra` seems like a...
This needs deep thinking. I've added it to my ToDo list -- it's not something that just fits under a casual review of recent `stdlib` work.
Note that I would have preferred this in 3-4 PRs rather than one big one. I won't ask that you split this one up, but please try to make smaller...
If you're going to split, then definitely the improvements to the current library should come in their own PR. You can choose how you want to 'incrementalize' the rest.
Sounds perfect. And feel free to discuss some of my suggestions, when you feel that your names have distinct advantages that I might have missed.
Yes, it would make sense to 'restart' the work on `CHANGELOG` from a recent version, as the merge is otherwise going to be hell.
Thanks for the review @jamesmckinna . All the explicit suggestions should go in - please do so @gabriellisboaconegero .
> but before adding any more [...] resolve the dependency question I keep hammering on about? Is this the 'parametrisation' comment above, or something else? I did discuss changing some...