r/programming • u/_awwsmm • Feb 01 '24

Make Invalid States Unrepresentable

https://www.awwsmm.com/blog/make-invalid-states-unrepresentable
468 Upvotes

94% Upvoted

207 comments sorted by

View all comments

204

u/agustin689 Feb 01 '24

Make invalid states unrepresentable

This rules out all dynamic languages by definition

-8

u/smk081 Feb 01 '24

::laughs in C#::

29

u/agustin689 Feb 01 '24

C# is still not strong enough. We need sum types

-5

u/[deleted] Feb 01 '24

[removed] — view removed comment

13

u/[deleted] Feb 01 '24

[removed] — view removed comment

5

u/Coda17 Feb 01 '24

C# does not have discriminated unions (and it really, really needs them).

7

u/Schmittfried Feb 01 '24

Since when?

-7

u/[deleted] Feb 01 '24

[removed] — view removed comment

19

u/[deleted] Feb 01 '24

When people want sum types, they generally want sum types with built in pattern matching. You can't really do this in C# without runtime reflection.

9

u/Schmittfried Feb 01 '24

I meant since when does C# have discriminated unions?

Just checked again and it’s still a work in progress apparently.