Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Типы и код, который не ломается

Типы и код, который не ломается

Talk by Alexey Demedeckiy

Рассказ о том, как сильная типизация помогает программисту избегать ошибок при разработке. А именно

- Возможности фантомных типов
- Раннее обнаружение ошибок
- Юнит-тестирование

This talk was made for CocoaFriday #2 ( https://cocoaheads.org.ua/cocoafriday/2 ) which took place Apr 5, 2019.

Video: https://youtu.be/tl4DW11HWuk

CocoaHeads Ukraine

April 05, 2019

More Decks by CocoaHeads Ukraine

Other Decks in Technology


  1. struct Event { let status: Status enum Status { case

    unassigned case assigned(User) case accepted(User) } }
  2. total append : Vect n a -> Vect m a

    -> Vect (n + m) a append Nil ys = ys append (x :: xs) ys = x :: append xs ys