[benbristow]

https://medium.com/byteconf/stripe-is-building-a-ruby-typech...

Stripe are trying to solve that issue.

[AsyncAwait]

That's still not the same as a compile time type-checker, it still relies on the interpreter.