The whole time I was reading this I couldn’t stop thinking about optional vs static typechecking and how I really try to design my invariants to avoid the possibility of failures that need runtime checking. Once you’re alerting, it’s too late, the cat’s out of the bag — robust systems really need to avoid designs that lead to cats getting out of bags in the first place.
Comments
The whole time I was reading this I couldn’t stop thinking about optional vs static typechecking and how I really try to design my invariants to avoid the possibility of failures that need runtime checking. Once you’re alerting, it’s too late, the cat’s out of the bag — robust systems really need to avoid designs that lead to cats getting out of bags in the first place.