A language for building concurrent software with confidence
Inko's type checker, start at TypeChecker.check and work your way down the call stack. TypeChecker.check_type_ref is where most of the work is done.
TypeScript is actually an... interesting example because it depends on compiler settings. When noImplicitAny is ON, then the list is first inferred as implicit any (riddle me that!). It then gets narrowed (unified?) later to string. I have to imagine this is a special case in the compiler because it doesn't work on user-defined data types (see example link above). The TypeScript checker.ts code is a single 50k LOC file so I'm probably not going to be able to understand the implementation.
Appwrite - The open-source backend cloud platform. Add Auth, Databases, Functions, and Storage to your product and build any application at any scale while using your preferred coding languages and tools.
What to learn in 2022
22 projects | dev.to | 19 Apr 2022
Sometimes it *is* a compiler bug: finding and fixing a bug in a C++ toolchain
2 projects | news.ycombinator.com | 4 Nov 2023
Building React Components Using Unions in TypeScript
15 projects | dev.to | 1 Oct 2023
Announcing Rust 1.69.0
2 projects | /r/programming | 20 Apr 2023
Announcing TypeScript 5.0
3 projects | /r/programming | 16 Mar 2023