Just to be clear, the actual article here is much more nuanced than its button-pushing title. But like many things, I think type systems tend to encourage the

Just to be clear, the actual article here is much more nuanced than its button-pushing title. But like many things, I think type systems tend to encourage the thinking "if a little bit of medicine is good, it's best to drink the maximum possible amount of medicine". I think types make good handrails, it's crazy not to provide a little support from falling 16 stories because you tripped on your shoelace. But they don't necessarily need to keep people from intentionally jumping off the stairs, or walking up the stairs backwards, or taking two stairs at a time. Eventually you end up with something so contrived you don't even recognize it's a staircase at first sight.