I think this is really cool, and it elegantly brings together some pretty advanced features from FP and OO into one purely OO language. The only thing I’d like

I think this is really cool, and it elegantly brings together some pretty advanced features from FP and OO into one purely OO language. The only thing I’d like to see more about is how immutability would be handled, because that is harder than it sounds in OO. And for all of you saying this is basically just Kotlin or Swift.. do those languages have higher-kinded types or true multiple inheritance? Not as far as I can tell. And you could argue those aren’t needed, but that does mean this is a different language with potentially different pros and cons.