On this talk, we will demonstrate the power of types and advanced type systems. We will see:
- how to combine the safety of static typing with the ease of development typically only offered by dynamically typed languages.
- how to model your domain with improved correctness based on phantom types
- how to express side effects