> algebraic data types, match, type inference, static type checking Of those, C# only has static type checking. AFAIK C# does have some limited type inference

> algebraic data types, match, type inference, static type checking Of those, C# only has static type checking. AFAIK C# does have some limited type inference (when using LINQ), but it’s nowhere near as powerful and ubiquitous as F#, where the following is completely valid: let Add a b = a + b and it will be inferred as: let Add (a:int) (b:int) : int = a + b This also works in more complicated cases like when you’re accessing a property on a record, for instance.