I think TypeScript, especially with a full stack framework such as Remix or Next, satisfies these two constraints.