Overview
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.
Syllabus
Introduction
Knowability Assumptions
Nothing
Implicit
Design Goals
Pattern Matching
Fsharp Rules
Noble Value Types
Type Relations
Knowable
Not Null
Nominal Types
No Attribute Types
FSharp
Nullable Reference Types
Difficult Design Choice
Warnings
No Reference Exceptions
Knowable Assumption
Two Paths
F Sharp
Default Values
ClineMutable
OptionType
Why is it important
Links
Interrupt
ByRef
Code Base
Taught by
NDC Conferences