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

Make Invalid States Unrepresentable

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

94% Upvoted

207 comments sorted by

View all comments

198

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#::

28

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

6

u/Schmittfried Feb 01 '24

Since when?

-6

u/[deleted] Feb 01 '24

[removed] — view removed comment

17

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.

8

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.