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