[madeofpalk]

C#'s type system is nowhere near as expressive. Lack of sum types/discriminated unions and pattern matching/type refinement.