Как мужик пришёл к зависимым типам от тестирования.

[thesz]

Dependent types: a look at the other side.

Видео, большое. Scottish Ruby Conference.

"как ни придёшь на конференцию по Руби, так тестирование, тестирование, тестирование. И всё равно оно ломается. Мне было неуютно жить с этим."

Рассказ, кстати, про то, как программирование с типами масштабируется - как писать бОльшие программы.