It's less interesting to argue in favour of a type system in general. Should it be gradual, structural, nominal and/or dependent, and why?
miniblog.
Related Posts
Excellent post on dependent types, why parametric polymorphism is good, and building inscrutable type checkers:
Some of my OSS projects are largely feature complete. For them, virtually every commit is just fixing bugs reported.
It's a strange routine, because it means the time I spend maintaining is dependent on the bug report rate, which largely depends on the size of the user base.
1
Internet software decays: https://utcc.utoronto.ca/~cks/space/blog/tech/InternetSoftwareDecay
(Software is dependent on the environment, and that's changing! You also have to stay on top of evolving security concerns.)