Comment by whoknowsidont

>I don't get it, what's the point of type checking if not to reject invalid programs

It can take longer to think about how to properly type instead of just writing some code, testing it out, and immediately seeing if something is wrong. You also often get into a situation where linters who like to act like type-systems give you arcane errors (looking at you TypeScript).

In the moment I just want to move some data around and quickly try out an idea, I don't need it to be resilient or perfect.