That's about right. And gradual types, multi methods, generics and tight integration with C++: [0]. Dylan was too long winded for my taste, as are most modern

That's about right. And gradual types, multi methods, generics and tight integration with C++: [0]. Dylan was too long winded for my taste, as are most modern attempts. [0] https://github.com/codr4life/snabl https://github.com/codr4life/snabl