> Does ruby have its equivalent to typescript, with type annotations?

Ruby has a first party external type definition format (RBS) as well as third-party typecheckers that check ruby against RBS definitions.

There is probably more use of the older, all third-party typing solution (Sorbet) though.