Let's consider two types of constraints: incidental constraints, and necessary constraints that would also exist when latently-typed. Having much of the former

Let's consider two types of constraints: incidental constraints, and necessary constraints that would also exist when latently-typed. Having much of the former is a design smell. The latter force you to address problems at compile time that might otherwise be hidden crashes, security flaws, logic bugs... I think the trade-off is that designing with types is hard, and without a lot of experience in a statically-typed language types can create more problems than they solve, as in the original code this blog post corrects.