> Constraints suck. But they are good. Software could use more of them, because they force discipline at dev time, at compile time, which reduces blow-ups at run-time.

Can I take that to mean you're in favour of compile-time enforced strong and static typing?