Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
txus 2015-07-16T13:03:10.000275Z
so, I was looking at the traversy library, which implements lenses
txus 2015-07-16T13:03:41.000276Z
and I wondered how hard it’d be to use core.typed to type-check them
txus 2015-07-16T13:03:59.000277Z
txus 2015-07-16T13:04:59.000279Z
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?