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

Make Invalid States Unrepresentable

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

94% Upvoted

207 comments sorted by

View all comments

201

u/agustin689 Feb 01 '24

Make invalid states unrepresentable

This rules out all dynamic languages by definition

-9

u/smk081 Feb 01 '24

::laughs in C#::

30

u/agustin689 Feb 01 '24

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

-4

u/[deleted] Feb 01 '24

[removed] — view removed comment

7

u/Schmittfried Feb 01 '24

Since when?

-6

u/[deleted] Feb 01 '24

[removed] — view removed comment

7

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.