That would make sense if writing a program would be similar to randomly drawing a program from a pot of programs. If instead I have a good idea what I want to

That would make sense if writing a program would be similar to randomly drawing a program from a pot of programs. If instead I have a good idea what I want to write, the type system may either guide me towards the solution, or hinder me. It usually hinders me, I don't need a type system to guide me, but I like a type system that can check for trivial errors (oh, I meant to pass a list of numbers, not just a single number).