3 ms·

Java has first class sum types, pattern matching, and compiler exhaustion on types. It's probably far more expressive than C# currently until they get union typ

by vips7L 6mo ago

Java has first class sum types, pattern matching, and compiler exhaustion on types. It's probably far more expressive than C# currently until they get union types.

mrsmrtss 6mo ago
Well, C# has more powerful pattern matching, only compiler exhaustiveness on types is missing today. In Java, sum types (sealed interfaces/classes) require all members to have the same parent, so they can be used only in very narrow cases.
- vips7L 6mo ago
  As opposed to C# that doesn't have any form of sum types?
  - mrsmrtss 6mo ago
    C# will have more advanced sum types this year, it's currently in preview.
drzaiusx11 6mo ago
Their sum types aren't particularly useful since they can never be used to implement union types which I believe c# has plans for following their sum types already in preview. So I guess similarly neck and neck.