Преломление реальности: Динамическая валидация статическими типами