Good points. Types are really about "software contracts". When you have just one developer, you don't need contracts much, if at all. Also the scale of the sof

Good points. Types are really about "software contracts". When you have just one developer, you don't need contracts much, if at all. Also the scale of the software matters, types are more important in larger systems. Single developer systems tend to be small.