Fork me on GitHub
#core-typed
<
2015-07-16
>
txus13:07:10

so, I was looking at the traversy library, which implements lenses

txus13:07:41

and I wondered how hard it’d be to use core.typed to type-check them

txus13:07:59

how could you encode a “shape” in a lens type, so that it would only take maps or vectors with that shape, and make it work well when composing lenses?