Not disparaging in anyway, in fact, it made made me think of bijective lenses and what other tools could have an inverse, even if lossy.
Your project is amazing, you are ahead of me in your thinking.
Your project is amazing, you are ahead of me in your thinking.
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.
Thank you for the rest of the links!
Thanks again.