This presentation is about types in software, why they are important, and what they do to help us.
The PPTX displays correctly in PowerPoint 2016, Office 365, and LibreOffice Impress.
Alternatively, the presentation can be viewed in your browser at my blog.
These are examples of various type errors and type systems in 6 languages:
- C#
- F#
- JavaScript
- TypeScript
- Python
- R