4 ms·
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 amazin
by sitkack 2y ago
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.
- ycombiredd 2y ago“lessthan three” ;-) Thanks again.
- ycombiredd 2y agoHey, 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.
- sitkack 2y agoMission 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/
- ycombiredd 2y agoOptician 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!