Algebraic Data Types for C#

on YouTube ↗01h 03m

" summary

Generates immutable sum and product types for C# by parsing a small DSL with F# parser combinators, mapping its AST to a Roslyn AST builder, and plugging the output into Visual Studio via the single-file generator extension. Replaces ~300 lines of handwritten boilerplate with one declarative union or record line, includes value semantics, copy-with and a match dispatcher, and outputs idiomatic C# code (open source on GitHub) that the IDE and debugger accept.

AI-written summary · about

" chapters (5)

1. 0:00Start
2. 18:03PROBLEM OVERVIEW
3. 23:19REPRESENTATION SYNTAX & SEMANTICS DESIGN
4. 49:42INTEGRATION : VISUAL STUDIO INTEGRATION
5. 57:29SUMMARY OF STEPS

" related talks

• 54mAlgebraic Data Types for C#John Azariah · LambdaConf 2017
• 51mThe Future of C#Mads Torgersen · GOTO Copenhagen 2014
• 01h 00mF# for the C# Developer - F#, the .NET Runtime, and AestheticsScott Arbeit · NDC Porto 2023
• 54mImplementing Modern Types in C#Rob Ashton · DevConf 2023
• 01h 00mPattern-based C#: if it quacks like a duck…Stefan Pölz, Eva Ditzelmüller · NDC Oslo 2025
• 42mF# for the curly brace developerMichael Newton · Codemotion Amsterdam 2016
• 01h 02mUsing C#'s Type System EffectivelyBenjamin Hodgson · NDC Oslo 2017
• 01h 00mLet's Code an incremental source generator with RoslynStefan Pölz · NDC Oslo 2023