Has anyone run into this paper before? I've had the idea in my head for awhile "What if you could use an interface based on optics as an API?" -- looks like someone has put some work into that kind of idea. https://arxiv.org/abs/2009.00997#
I remember before seeing something about an "arrow query language". This might be an interesting alternate approach to that using an optics-based API.
11/07/2021, 8:49 PM
@Nathan Bedell We used to have arrow QL which was similar in scope in the sense that it’d give you a DSL based on the now gone functor hierarchy. I personally know Jesus and Juanma and have read about their work in this space and it’s probably worth exploring to see what that looks like with arrow optics.