String is not a sufficient type: how using your type system can help you make better software
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.
This talk was given at an internal weekly lunch at the Times.
- You can watch a screen recording of the presentation, with audio, on Vimeo.
- The slides are available in PDF, or with presenters’ notes in Markdown format, prepared for Deckset.
- The outline and other materials are available on GitHub: cdzombak/string-types-talk.
As always, I welcome discussion and feedback; I’m @cdzombak on Twitter.