Synthesizing Bijective Lenses — mentioned by sitkack

Sun, 26 Jan 2025 00:36:44 GMT

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/

Paper and discussion history. A mention is not an endorsement.

Synthesizing Bijective Lenses — mentioned by random3

Tue, 06 Oct 2020 20:20:39 GMT

Without being too knowledgeable on the topic, but with a little math background - you'd need a bijective function to that. On a quick search for bijective lenses https://arxiv.org/abs/1710.03248

Paper and discussion history. A mention is not an endorsement.

Synthesizing Bijective Lenses · HackerPapers discussions

Synthesizing Bijective Lenses — mentioned by sitkack

Synthesizing Bijective Lenses — mentioned by random3