Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Designing Nullable Reference Types in F#

NDC Conferences via YouTube

Overview

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

Reviews

Start your review of Designing Nullable Reference Types in F#

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.