The Book of F#

on YouTube ↗01h 02m

" summary

A reverse‑Polish calculator example shows curried functions and partial application producing concise stack-based evaluation; an HTML AST (discriminated unions + recursion) compiles to string with tail‑call recursion and a simple string writer, proving the pattern works; a Regex type provider demo generates typed captures so renaming a group triggers a compile error; units‑of‑measure stops passing Celsius where Fahrenheit is required (compiler error); note active patterns are oddly limited to seven cases and everything runs in VS Code on macOS.

AI-written summary · about

" chapters (20)

1. 0:00Introduction
2. 2:10Daves story
3. 4:00What is F
4. 4:54Functional Programming
5. 6:57Type System vs Unit Tests
6. 8:35Reverse Polish Notation
7. 11:15Curried Functions
8. 14:45Partial Function Application
9. 16:00Operators as Functions
10. 16:50Pipelining
11. 17:30Ignore
12. 21:12Tuple
13. 26:19CLI mutable
14. 27:11Matching against records
15. 29:18Discrimination unions
16. 33:14Discrimination unions as trees
17. 37:02Abstract syntax trees
18. 40:30Units of measure
19. 46:53Active patterns
20. 53:19Type providers

" related talks

• 01h 05mBusting the Func'ing JargonDaniel Chambers · NDC Sydney 2019
• 01h 03mFunctional Programming with C#Simon Painter · NDC Oslo 2020
• 01h 01mLive Lambda CalculusEinar W. Høst, Jonas Winje · NDC Oslo 2017
• 01h 00mFunctional-first programming with F#Tomas Petricek · NDC Porto 2019
• 42mFunctional interpreters and youDave Gurnell · Scala Days Berlin 2018
• 56mFunctional Programming on .NET - The Best of Both WorldsIsaac Abraham · NDC Oslo 2024
• 42mF# for the curly brace developerMichael Newton · Codemotion Amsterdam 2016
• 58mFunctional Programming with C#Simon Painter · NDC Porto 2022