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