redmp (EDITED) on Nostr: neither the blog post nor the user comment that i linked to mention "make illegal ...

neither the blog post nor the user comment that i linked to mention "make illegal states unrepresentable" so i thought their discussion of it to be unintentional because they don't seem to recognize that concept is in play

paraphrased, the author of the user comment says that "make illegal states unrepresentable" isn't always possible in systems programming, and so you need to test program state at times, during runtime, to ensure things are as you expect (1/2)