This article takes a deep dive into type safety, language features that enable type safety, and why type safety is a good idea.