Open AlexKnauth opened 8 years ago
Lenses for things provided from the math
library in general could be very useful, but I'm not sure they should go in the main lens
package. A side package like collections-lens
would be better.
That makes sense. (And it would only have to depend on lens-common
!) I'll do that once this is figured out.
Also, do you have any ideas for how the setter should use the original target vector to resolve which of the possible solutions it should return, and which would be the best for the lens laws?
Should there be a lens constructor for matrices as functions from column-vectors to column-vectors?
For square invertable matrices it could be an isomorphism lens.
But for non-invertable matrices (including non-square?), the setter function will sometimes have infinitely many results that would be valid.
Are there any other constraints having to do with continuous-ness or anything else that would help make a sensible lens out of a non-invertable matrix?