КОМПИЛЯТОР на TypeScript? / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн