Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions codebase/src/compiler/checker.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,8 @@ Switching to different files means probably making [god objects][god], and the c
We want to avoid additional calls for ambient context. There are architectural patterns for this, but it's better
to assume good faith that they've been explored already (8 years down the line now.)

[god]: https://en.wikipedia.org/wiki/God_object

Anyway, better to get started somewhere. I [asked online](https://twitter.com/orta/status/1148335807780007939)
about how people would try to study a file like this and I think one of the best paths is by following a
particular story as a file gets checked.
Expand Down Expand Up @@ -225,4 +227,6 @@ TODO: what are substituted types?
[22]: <src/compiler/checker.ts - function eachTypeRelatedToSomeType>
[23]: https://github.com/microsoft/TypeScript/blob/db9e0079/src/compiler/checker.ts#L18872
[23]: <src/compiler/checker.ts - function structuredTypeRelatedTo>
[24]: https://github.com/microsoft/TypeScript/blob/eb430f27/src/compiler/types.ts#L6097
[24]: <src/compiler/types.ts - export const enum Ternary>
<!-- prettier-ignore-end -->