Mission accomplished! If you haven't check out Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248 https://arxiv.org/abs/1710.03248 Synthesizing S

Mission accomplished! If you haven't check out Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248 https://arxiv.org/abs/1710.03248 Synthesizing Symmetric Lenses https://arxiv.org/abs/1810.11527 https://arxiv.org/abs/1810.11527 Synthesizing Quotient Lenses https://www.cs.sfu.ca/~miltner/papers/qptician.pdf https://www.cs.sfu.ca/~miltner/papers/qptician.pdf https://github.com/Optician-Tool/Optician-Tool https://github.com/Optician-Tool/Optician-Tool Boomerang https://www.seas.upenn.edu/~harmony/ https://www.seas.upenn.edu/~harmony/ https://www.microsoft.com/en-us/research/group/prose/ 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.sfu.ca/~miltner/ https://www.cs.princeton.edu/~dpw/ https://www.cs.princeton.edu/~dpw/