Chris Dzombak

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.


As always, I welcome discussion and feedback; I’m @cdzombak on Twitter.