Earlier quoted context omitted.
Of all the features most Java devs (and ex-Java devs) desire, algebraic types are near the bottom. How about intersection and union types? (NO, sealed classes are not a substitute for unions). But, yeah, in my view JDK 21 is a a disappointment. I rarely want pattern matching, but I would like properties please and records are nice, but actual tuples are more useful. Etc.
I'd love if interfaces worked as in typescript. As long as the object signature matches the interface as parameter then you can use it.
1. https://github.com/manifold-systems/manifold/tree/master/man...