Typical is TypeScript with type-safety at runtime