I have worked on both mobile and web applications. Let me share my experience with Type Casting.

In early days only supported language for Android app development was Java. We know Java is strongly typed language just like TypeScript. WOrking on Java was pain. It had steep learning curve.

Then Google decide to introduce Kotlin in Android, Kotin is Dynamic Typed language pretty much like javaScript or plain old JSX. Suddenly I felt my productivity got increased 10 fold. We no longer need to care about declaring data types. Developers in my company liked Kotlin so much that if you ask any of developer (who has started using Kotlin) to work on a Java Module then he will first convert that Module into Kotlin and then work on that.

Long story short strongly typed language are pain. I will prefer jsx over tsx any day.