I think I can safely say that none of the real problems I face have much to do with the fact that I need to do casts, or the fact that I can’t express something with less typing or whatever. In fact, none of the problems I face have much at all to do with the language I’m using. No, the problems I have now are the same problems I had 15 years ago. Reducing complexity, increasing robustness, enhancing expressiveness. Stuff like that. I suppose it’s possible I’m missing something, but I don’t see any language that helps me with those things at the fundamental level I’m looking for.