Name: Anonymous 2015-02-12 11:03
Unityped languages: Making mistakes ist verboten. Any and all of human type errors will be manifest as late as possible, in the most unconvenient way. This is our way of disciplining the Untermensch. Also, you are responsible for any and all code refactorings. The only form of correctness assurance available to you is testing, even though it can never prove the absence of errors. Heil Dynamic! Unityping uber alles!
Multityped languages: Hey, I know you make mistakes, buddy. We all do, we're human, after all. That's why we made this type system for you. Now the compiler can be your buddy, it will get your back and catch most of your errors for you as early and quick as possible! And if you want to refactor something, it will help you out by pointing out the things you missed real quickly. Now you can eliminate most errors without even needing to run your program - how fast is that? And the type system will actually eliminate these errors, as in prove their absence! Now you'll have to do 3 times less testing! Just helping you out, bro.
Multityped languages: Hey, I know you make mistakes, buddy. We all do, we're human, after all. That's why we made this type system for you. Now the compiler can be your buddy, it will get your back and catch most of your errors for you as early and quick as possible! And if you want to refactor something, it will help you out by pointing out the things you missed real quickly. Now you can eliminate most errors without even needing to run your program - how fast is that? And the type system will actually eliminate these errors, as in prove their absence! Now you'll have to do 3 times less testing! Just helping you out, bro.