Да кто такие эти ваши тайп-чекеры?

В данном репозитории Вы сможете найти все исходники, которые использовались при подготовке данного доклада.

Тут все разложено по папочкам.

• speed содержит в себе код для проверки скорости для проектов на 10, 15, 25 и 35 тысяч строк кода, а так же сами проекта. К сожалению проектов на 10 и 15 тысяч - иннер сорс.
• peps содержит в себе код для проверки работоспособности тайп-чекера на всех PEP'ax, рассмотренных в табличке.
• type_checker_features содержит в себе фичи, рассмотренные в докладе.
• extra_testing содержит в себе скрипты для проверки unreach code, exhaust check, а так же скирпт для высчитывания времени жизни ишью на любом проекте.

Наслаждайтесь!