Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: