This beginners-friendly talk will explain some of the reasons why Haskell programmers are so enthusiastic about static typing: it helps produce working code sooner. It will consider problems programmers face in producing working code (in any language), and show how Haskell mitigates or solves them. No knowledge of Haskell is assumed.
Subjects touched on will include:
- Preventing null pointer exceptions
- Speeding up finding and fixing bugs
- Problems with large scale development
- "Don't do that!" doesn't work- what does?
- Types as documentation
- Types and parallel programming
- Types vs. Macros: more than one way to skin a cat