3 ms·
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 unfam
by ycombiredd 2y ago
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.
- 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!