Want to Learn → Deep Dive
Typed by Design
A healthy, strict-mode TypeScript codebase can still lie: string-keyed handles, doubled type arguments, projection types that collapse to never. An inventory of types that lie in production, and why casts are symptoms, not sins.
7 articles
~72 min total
TypeScriptMongoDBArchitecturezodAPI DesignType Safety
Articles in this Series(showing 3 of 7)
ArchitectureBackendDependency InjectionLayered DesignModule AugmentationMongoDBOverloadsRefactoringSoftware DesignString Literal TypesType SafetyTypeScriptsatisfies
1
UpcomingWant to Learn
The Day I Stopped Trusting My Own Types
A healthy, strict-mode TypeScript codebase can still lie: string-keyed handles, doubled type arguments, projection types that collapse to never. An inventory of types that lie in production, and why casts are symptoms, not sins.
Jul 15, 20269 min read
TypeScriptType SafetySoftware DesignBackend+1
2
UpcomingDeep Dive
A String That Knows Its Type
Closed string unions, exhaustive catalogs by construction, satisfies vs annotation, and a name-to-type registry built on overload ordering, so a collection name infers its own document type and legacy call sites keep compiling.
Jul 21, 202610 min read
TypeScriptString Literal TypesOverloadssatisfies+1
3
UpcomingDeep Dive
Dependency Injection, but for Types
A shared kernel needs a map from names to business types it is forbidden to import. Module augmentation as type-level dependency injection: an empty interface as the socket, declare module as the binding, compile-time asserts as the container's validation.
Jul 27, 202610 min read
TypeScriptModule AugmentationDependency InjectionArchitecture+1