Designing Nullable Reference Types in F#
Explore the intricacies of designing nullable reference types in F# in this 54-minute conference talk by Phillip Carter at NDC Conferences. Dive into the challenges of incorporating nullability as a concept for .NET reference types in F#, considering its default non-nullness and compatibility with existing code. Learn about the meaning of nullability in F#, existing null mitigations, and the complex design process for improving code while maintaining compatibility. Gain insights into language design through topics such as knowability assumptions, pattern matching, F# rules, noble value types, type relations, and the difficulties of implementing nullable reference types. Understand the importance of this feature and its impact on F# development, including discussions on warnings, reference exceptions, and mutable option types.