2 ms·
I very much enjoyed a Kmett talk where he described needing to parameterize some lens thing with an index, a monad it would operate under, the source focus, the
by dllthomas 6y ago
I very much enjoyed a Kmett talk where he described needing to parameterize some lens thing with an index, a monad it would operate under, the source focus, the target focus, and three different containing structures, with some pieces repeated... and then realizing the type arguments said `i m a s t a b u` and decided he had probably gone too far.
- eru 6y agoWhat's interesting is that Ed Kmett isn't even a dyed in the wool Haskeller. He has more than a foot in the C++ world. He's quite brilliant, but I still haven't really gotten used to the full power of lenses, yet. I only used them in simple ways.