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...
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...