Kotlin and Scala too if you want the same type of strong type system as TypeScript
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.
No type system is as strong as TypeScript — certainly not Kotlin.