In Types We Trust

This course aims to teach learners about the importance of types in programming and how they can be used to ensure code correctness. By the end of the course, students will understand the concepts of test-driven development, writing unit tests, and using types for verification. The teaching method involves a combination of theoretical explanations and practical examples using Scala programming language. This course is intended for programmers and developers interested in improving the quality and reliability of their code through type systems and testing methodologies.