Much Ado about Nothing: A C# play in two acts - Act 1
summary
Adds a compile-time-only opt-in that treats ordinary reference types as non-nullable by default, producing warnings (not runtime errors) and using Roslyn flow analysis to suppress false positives, constructor initialization checks to force non-null fields, and a postfix suppression operator (!) for assertions. Provides attributes to mark helper methods with null semantics and recommends analyzers or a stricter “ludicrous” mode for tighter checking. Demonstrations show the compiler yields helpful warnings, recognizes common null checks, but cannot catch races or every pattern and intentionally does not change runtime behavior.
AI-written summary · about
chapters (8)
- 0:00Start
- 13:54look at functional programming languages
- 15:27put the nulls in the type system
- 19:42build a cyclic data structure
- 19:53create a cyclic data structure
- 33:44check for null
- 37:52track your variables through the flow of the code
- 49:57print nulls
