Typical: TypeScript with type safety at runtime