Similar and relevant:

Crystal: https://crystal-lang.org/

Sorbet: https://sorbet.org/