Hype For Types: Using Dialyzer to Bring Type Checking

We'll start off with a bit of theory around types, starting with some theoretical background around various type systems and making the case for type checking. While motivating type checking, we'll consider specific scenarios where type checking can add additional assurances in your development proc