Explainers for the ideas the how-tos rely on — what they are, when they matter, and the common pitfall.
A type system that distinguishes nullable from non-nullable references to eliminate most null-pointer exceptions.
A type-level way to represent the presence or absence of a value, forcing you to handle nil explicitly.