Kotlin and Scala too if you want the same type of strong type system as TypeScript
Lipstick on Java with vendor lock in or another lipstick on Java made by and for academics, tough choice.
No type system is as strong as TypeScript — certainly not Kotlin.
Lipstick on Java with vendor lock in or another lipstick on Java made by and for academics, tough choice.