Static and Dynamic Typing

A lot of the discussion that people have is just based on, you know, these are the things that I happen to be familiar with. But also just kind of arguing backwards from the conclusion, the emotional conclusions that people want to have. Using the Haskell type system is not about formally verifying that your program does the right thing. That's a very useful way of iteratively doing development but the idea that this is guaranteeing that your program is correct is simply false.