Ilan Godik
Ilan Godik
Tactic mode left to do?
I have this exact same issue while running MLLib's ALS for many iterations.
@Daniel-Diaz The trick wouldn't be nessesary, the associativity would be trivial by the list monoid.
I'd prefer it to be a part of Monocle. It can go as another module if desired. Kudos @puffnfresh!
A section/retraction pair can be thought of as a normalizing iso. A more interesting structure would be normalizing prisms - with additional partiality. As an example for partial section/retraction pairs:...
Note: A prism can be derived from every section/retraction pair, but not the other way around. And every Iso is a section/retraction pair in both directions. A section/retraction pair composed...
Now I'm thinking about the laws for these: The law for section/retraction pairs = (onto: a -> b, back: b -> a): - onto (back b) = b For partial...
Examples for section/retraction pairs: String.toLower, Reduced rational numbers, and all the other normalizations you can think about. An example I'm using right now: Rectangles represented as an origin point with...
@julien-truffaut Yeah, these are nice. I'm still thinking and trying to understand these structures, and I share everything I discover in this issue. So there still is much work before...
- `bshelden` had another real world use case for this on the monocle IRC channel.