Type Driven Development with F#

Видео доклада

Презентация доклада

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