[dllthomas]

"Any type system is better than none at all"

For tiny things, I profoundly disagree. A great type system is still (IMO) better than none at all, but there are plenty of type systems that get in the way more than they can be pressed into helping especially when things are tiny. When things are large, it's there are probably still some pathologically unhelpful type systems, but there's generally more leverage to be had...

[sportanova]

For tiny things, sure. But tiny things tend to grow over time

[dllthomas]

Yes. But replacing the entirety of something tiny shouldn't be hard. One just has to do it, which involves 1) knowing to, and 2) following through.

Of course, best case is an awesome type system and libraries that suit your problem.