Earlier quoted context omitted.
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.
They hate us cause they ain’t us :)