We deal with types, explicitly or implicitly—depending on our language of choice—every day. We often use them without even thinking about them, or we consider them an annoyance when we’re just trying to get something done. This brief talk presents an accessible metaphor to help explain that type systems are here to help us, and it makes a case for using more—not fewer—types in everyday programming in order to create more stable, more secure software.
Slides are posted on SpeakerDeck: speakerdeck.com/dzombak/string-is-not-a-sufficient-type-how-using-your-type-system-can-help-you-make-better-software
And speakers’ notes, etc. are on my blog: dzombak.com/talks/2015-12-10-String-is-not-a-sufficient-type--how-using-your-type-system-can-help-you-make-better-software.html