Loading
Structural typing, generics, contracts, nullability, checking tools, and maintainable type derivation.
Recommended start
Explains assignability by shape, excess-property checks, and the gap between compile-time compatibility and runtime identity.