That said, they can be really nice for all the same reasons static types are nice. Good article!
Disclosure: I reported this particular bug. It was a fun one to run down.