F# · Medium

Lesson 1 · On the house

Active patterns

Single-case, multi-case, and partial active patterns to name match logic.

Lesson 2

Recursive union trees

Model trees and expressions with recursive DUs and evaluate them by matching.

Lesson 3

Units of measure

Compile-time unit checking for physics, money, and conversions.

Lesson 4

async workflows

async { }, let!, Async.Parallel, Async.RunSynchronously, and Async.StartAsTask.

Lesson 5

task expressions

task { } for hot .NET Tasks, interop with C# libraries, and when to choose task vs async.

Lesson 6

Writing a computation expression

Build an option workflow with Bind and Return to remove nested matches.

Lesson 7

Lazy values and memoization

lazy, Force, caching expensive calls, and memoizing recursive functions.

Lesson 8

Type tests and casts

box, upcast :>, downcast :?>, and type-test patterns :? in match.

Lesson 9

Members and operators on types

Add methods, static members, and custom operators to records and unions.

Lesson 10

Generics and inline

Automatic generalization, constraints like comparison and equality, and inline functions.