Преломление реальности: динамическая валидация статическими типами / Майк Башуров