Benchmarks
/
Micro benchmarks
Micro Timings
Focused single-file, generated, and solver stress timings for isolating compiler hot spots after the full-project pass. These rows are not product speedup claims; fixed startup, lib loading, and import-graph behavior can dominate small inputs.
Real-world utility-types file-level benchmark set from pinned snapshot.
library file · 650 lines · 17 KB
Single-file type-check from utility-types with real-world helper types.
View details
library file · 175 lines · 5 KB
Single-file type-check from utility-types with real-world helper types.
View details
library file · 103 lines · 3 KB
Single-file type-check from utility-types with real-world helper types.
View details
library file · 69 lines · 1 KB
Single-file type-check from utility-types with real-world helper types.
View details
Real-world ts-toolbelt file-level benchmark set with type-heavy examples.
library file · 215 lines · 8 KB
Single-file type-check from ts-toolbelt with real-world helper types.
View details
library file · 82 lines · 1 KB
Single-file type-check from ts-toolbelt with real-world helper types.
View details
library file · 61 lines · 1 KB
Single-file type-check from ts-toolbelt with real-world helper types.
View details
library file · 47 lines · 0 KB
Single-file type-check from ts-toolbelt with real-world helper types.
View details
Real-world ts-essentials file-level benchmark set from pinned snapshot.
library file · 2,717 lines · 44 KB
Single-file type-check from ts-essentials with real-world helper types.
View details
library file · 101 lines · 3 KB
Single-file type-check from ts-essentials with real-world helper types.
View details
library file · 47 lines · 1 KB
Single-file type-check from ts-essentials with real-world helper types.
View details
library file · 39 lines · 1 KB
Single-file type-check from ts-essentials with real-world helper types.
View details
Compiler scenarios
Focused compiler behavior on representative mixed workloads.
benchmark · 893 lines · 27 KB
Control-flow graph construction and narrowing analysis.
View details
benchmark · 819 lines · 321 KB
No-emit type-check timing for constraint conflicts n=200.
View details
benchmark · 684 lines · 13 KB
No-emit type-check timing for infer stress n=30.
View details
benchmark · 603 lines · 18 KB
Control-flow graph construction and narrowing analysis.
View details
benchmark · 514 lines · 10 KB
No-emit type-check timing for infer stress n=25.
View details
benchmark · 428 lines · 36 KB
No-emit type-check timing for bct candidates=200.
View details
benchmark · 419 lines · 89 KB
No-emit type-check timing for constraint conflicts n=100.
View details
benchmark · 313 lines · 9 KB
Control-flow graph construction and narrowing analysis.
View details
benchmark · 289 lines · 4 KB
No-emit type-check timing for intersection n=45.
View details
benchmark · 252 lines · 7 KB
No-emit type-check timing for mapped complex template keys=200.
View details
benchmark · 249 lines · 5 KB
No-emit type-check timing for infer stress n=15.
View details
benchmark · 229 lines · 3 KB
No-emit type-check timing for intersection n=35.
View details
benchmark · 228 lines · 17 KB
No-emit type-check timing for bct candidates=100.
View details
benchmark · 219 lines · 28 KB
No-emit type-check timing for constraint conflicts n=50.
View details
Generated type workloads
Generated stress tests that isolate specific type-system patterns.
synthetic · 16,424 lines · 4,112 KB
Mapped-type and property traversal behavior in the solver.
View details
synthetic · 16,420 lines · 4,112 KB
Mapped-type and property traversal behavior in the solver.
View details
synthetic · 9,203 lines · 162 KB
Class declaration binding plus constructor/member shape checking.
View details
synthetic · 4,611 lines · 143 KB
Generic signature checking and type-parameter environment setup.
View details
synthetic · 4,603 lines · 81 KB
Class declaration binding plus constructor/member shape checking.
View details
synthetic · 2,311 lines · 71 KB
Generic signature checking and type-parameter environment setup.
View details
synthetic · 2,303 lines · 40 KB
Class declaration binding plus constructor/member shape checking.
View details
synthetic · 1,161 lines · 35 KB
Generic signature checking and type-parameter environment setup.
View details
synthetic · 491 lines · 24 KB
Union construction, reduction, and assignability checks.
View details
synthetic · 471 lines · 14 KB
Generic signature checking and type-parameter environment setup.
View details
synthetic · 463 lines · 8 KB
Class declaration binding plus constructor/member shape checking.
View details
synthetic · 251 lines · 12 KB
Union construction, reduction, and assignability checks.
View details
Solver stress
Upper-bound tests for recursive, mapped, and conditional type complexity.
solver stress · 481 lines · 10 KB
Mapped-type and property traversal behavior in the solver.
View details
solver stress · 331 lines · 7 KB
Mapped-type and property traversal behavior in the solver.
View details