Provide type coverage metrics

Search Terms

• type coverage
• flow coverage

Suggestion

I'd love it if TypeScript had a tool to capture type coverage metrics, similar to Flow's Type Coverage feature. That coverage data could be used by IDEs (again, currently supported by Flow) to highlight gaps in type coverage. Basically, it should tell us which parts of our code are being evaluated as any.
Assuming it would work like Flow's feature, this could be a separate tsc option or separate cli command. Theirs works for single files and also offers a batch-coverage command for checking directories / whole projects, etc.

Use Cases

• The Type Coverage metric could be used much like test coverage info, helping us to identify gaps in our typing (particularly unexpected gaps caused by insufficient type definitions from library code).

Examples

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

Bắt đầu bằng việc xem lại tài liệu về Flow Type Coverage và batch-coverage được liên kết trong issue, sau đó kiểm tra cách các tùy chọn tsc hoặc lệnh CLI của TypeScript có thể cung cấp các chỉ số tương đương. Được coi là hoàn thành khi báo cáo được những phần nào của mã được đánh giá là any đối với từng tệp riêng lẻ và đối với mức độ bao phủ của một thư mục hoặc toàn bộ dự án, với dữ liệu mà IDE có thể sử dụng.