A well-typed program never goes wrong
We will spend this session talking about type safety. After defining this desirable property, we will look at various examples where broken but well-typed programs are converted to ill-typed programs. In other words, we will learn to leverage the type system in order to detect issues as early as possible. All examples presented in this session are coming straight out of kaChing's code base. Previous exposure to Java and Scala is recommended.
- Not Interested