> And clearly statically-typed everywhere PLs are asking the programmer to do extra work. I'm not convinced this is entirely true. The kinds of information tha

> And clearly statically-typed everywhere PLs are asking the programmer to do extra work. I'm not convinced this is entirely true. The kinds of information that you encode in types is the kind of information that's useful to anyone reading the code. And if that information isn't written down somewhere, then the person reading the code (maybe you sometime later) has to reconstruct it themselves. And if it's useful to write that kind of information down, why not have the computer check that it's consistent?