| ▲ | owlstuffing 2 days ago | |
What if these were real, type-safe expressions in Java:
That's the idea behind binding expressions — a compiler plugin I built to explore what it would mean if adjacency had operator semantics. It lets adjacent expressions bind based on their static types, forming new expressions through type-directed resolution.Details here: https://github.com/manifold-systems/manifold/blob/master/doc... | ||