КОМПИЛЯТОР на TypeScript! / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: https://bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact.
👉 ТГ-группа участников хакатона: https://t.me/hackatonx/
Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долгое время занимался формальной верификацией кода и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора Tact и тулинга вокруг него. Сегодня говорим о "математическом" тестировании программ, ПО для шахт, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом.
Так что, заваривайте чаинский/кофеинский и погнали! 😉
ССЫЛКИ
🔹 Материалы из выпуска: https://t.me/itbeard/1339
🔹 Антон на GitHub: https://github.com/anton-trunov
🔹 Поддержать канал на Patreon: / itbeard
🔸 Хакатон от TON: https://bit.ly/ton-hack-2024
🔸 Воркшоп от Антона на хакатоне №1: https://www.youtube.com/live/AJX2Ghk07zk
🔸 Воркшоп от Антона на хакатоне №2: https://www.youtube.com/live/0TfwDGYjCHQ
ГДЕ СМОТРЕТЬ И СЛУШАТЬ
🔸 YouTube: • КОМПИЛЯТОР на TypeScript! / Как разра...
🔸 Apple Podcasts: https://apple.co/41hwOIQ
🔸 Google Podcasts: https://bit.ly/itbeard-googlepodcasts
🔸 Spotify: https://spoti.fi/3Ktbf1Y
🔸 Скачать mp3: https://podcast.itbeard.com/e/193
НАВИГАЦИЯ
0:00 Тизер
0:43 Я не люблю самолеты!
1:42 Представление Антона
3:50 Про формальную верификацию
9:21 Про хакатон
10:20 Тесты или верификация
14:38 Формальная верификация - это сложно
19:20 Шахтная автоматика
34:16 Как пришел к разработке ЯП для смарт-контрактов
45:47 Как попал в команду TON
48:43 Как начал заниматься разработкой ЯП
55:55 История Tact
1:02:02 Про FunC
1:05:20 Статический анализ
1:06:46 Tact vs FunC
1:09:35 Отличие разработки смарт-контрактов от веб-разработки
1:14:32 Иммутабельность кода
1:18:30 Параллелизм в Tact
1:21:42 Что разрабатывают на Tact
1:25:00 Hello World на Tact - это что?
1:28:41 Компилятор и парсер
1:32:37 Компилятор на TypeScript - это как?
1:37:40 Улучшение ошибок генератора парсера
1:40:28 Type checker
1:45:55 Модель контракта и тестирование
1:49:25 Туллинг вокруг языка
1:56:09 Как работают линтеры
2:00:05 Зачем нужен статический анализ
2:02:02 Насколько сложно закомитать в Tact
2:13:50 Кто разрабатывает дебаггер ЯП
2:15:40 Чего не хватает в Tact
2:21:18 В какой парадигме работает Tact
2:29:15 Как Tact может внедрить то, чего нет в FunC
2:31:34 Про The Open League и хакатон
2:40:31 РАНДОМ: должен ли разработчик ЯП пользоваться своим языком
ПОДДЕРЖАТЬ КАНАЛ
🔸 Стать патроном на Patreon: / itbeard
🔸 Стать спонсором на YouTube: https://www.youtube.com/itbeard/join
🔸 Через карту и криптовалюты: https://itbeard.com/help
ПОДПИСЫВАЙТЕСЬ
🔻 Сайт: https://itbeard.com
🔻 Telegram: https://t.me/itbeard
🔻 LinkedIn: https://s.itbeard.com/linkedin
#айтиборода #ton #tact
Watch video КОМПИЛЯТОР на TypeScript! / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн online without registration, duration hours minute second in high quality. This video was added by user АйТиБорода 18 April 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 38,056 once and liked it 615 people.