2 ms·
What if these were real, type-safe expressions in Java: 2025 July 19 // → LocalDate 300M m/s // → Velocity 1 to 10 // → Range<In
by owlstuffing 7mo ago
What if these were real, type-safe expressions in Java:
2025 July 19 // → LocalDate
300M m/s // → Velocity
1 to 10 // → Range<Int>
Schedule Alice Tues 3pm // → CalendarEvent
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/docs/articles/binding_exprs.md https://github.com/manifold-systems/manifold/blob/master/doc...