Hey, just wanted to come back from the rabbit hole you lead me to the entrance of and thank you for introducing me to lenses in the context of code; I was unfamiliar.

Mission accomplished!

If you haven't check out

Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248

Synthesizing Symmetric Lenses https://arxiv.org/abs/1810.11527

Synthesizing Quotient Lenses https://www.cs.sfu.ca/~miltner/papers/qptician.pdf

https://github.com/Optician-Tool/Optician-Tool

Boomerang https://www.seas.upenn.edu/~harmony/

https://www.microsoft.com/en-us/research/group/prose/

The subject touches on program synthesis, type directed programming and programming with holes.

https://www.cs.sfu.ca/~miltner/

https://www.cs.princeton.edu/~dpw/

Optician and Boomerang are exactly what I read up on during my excursion down the rabbit hole. And I was quite surprised that to the best of my recollection I had never heard of Augeas before.

Thank you for the rest of the links!

“lessthan three” ;-)

Thanks again.