[bwestergard]

The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types.

https://github.com/Gabriella439/grace

It's still probably not a great idea.