> while C# has some FP features....we’ll never see features like type-classes, true immutable types, algebraic-types, and so on. IIRC you just described some f

> while C# has some FP features....we’ll never see features like type-classes, true immutable types, algebraic-types, and so on. IIRC you just described some features of F#, excepting type classes. Or at least F# gets you closer to the goal. Maybe the ever elusive F* has that stuff?