Type Driven Development — Валерий Попов (Yandex)

preview_player

Показать описание

В докладе Валерий рассматривает строгую типизацию, которая может стать еще одним рубежом обороны надежного приложения от ошибок разработчика. На примерах будет показано, как дополнительная информация, переданная на этапе компиляции, поможет отловить ряд ошибок, не доводя систему до падения в runtime. Расскажет, что мобильный разработчик может почерпнуть из языков, которые ставят типы во главе процесса разработки.

Avito iOS Winter Edition
02.12.2017

Рекомендации по теме

Комментарии

А в то время rust еще не было... а он прям заточен под это

eternally_young

В binary_search на 4:26 ошибка, нужно mid = (low + high) / 2

ПрограммистиКоммунист