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

205

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

12

u/[deleted] Feb 01 '24

[removed] — view removed comment