Type Driven Development with F#

Антон Молдован
SBTech
Про доповідача
  • Software Architect at SBTech
  • F#; Distributed Systems Design; CQRS; ES; CEP; Actor Model
  • Twitter, GitHub

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

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


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

Увійти

Або поштою

Увійти

Або поштою

Реєстрація через e-mail

Реєстрація через e-mail

Забули пароль?

Оплатити інших учасників Відміна
Введіть промокод для отримання знижки Відміна