I'm toying around with a language that's like Python but with Hindley-Miller interference and some functional stuff. It's not a superset or anything, because I can't do that, but it's interesting how well HM (plus some well-encapsulated escape hatches) map onto the Python ecosystem with all its dynamism.

Very interesting idea. Good luck!