I think the argument is that JSDoc already gives them type validation. If you're going to go the effort of porting to a completely different language and add a

I think the argument is that JSDoc already gives them type validation. If you're going to go the effort of porting to a completely different language and add a compilation step that new language better provide some benefits beyond types like papering over warts like Kotlin does.