Sign up to save your podcasts
Or
Share КОМПИЛЯТОР на TypeScript / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
КОМПИЛЯТОР на TypeScript / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: https://bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact.
👉 ТГ-группа участников хакатона: https://t.me/hackatonx/1/11991
Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долго занимался формальной верификацией и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора и тулинга Tact. Сегодня говорим о математическом тестировании программ, ПО в шахтах, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом.
Так что, заваривайте чаинский/кофеинский и погнали! 😉
ССЫЛКИ
🔹 Материалы из выпуска: https://t.me/itbeard/1339
🔹 Антон на GitHub: https://github.com/anton-trunov
🔹 Поддержать канал на Patreon: https://www.patreon.com/itbeard
🔸 Хакатон от TON: https://bit.ly/ton-hack-2024
🔸 Воркшоп от Антона на хакатоне №1: https://www.youtube.com/live/AJX2Ghk07zk
🔸 Воркшоп от Антона на хакатоне №2: https://www.youtube.com/live/0TfwDGYjCHQ
ГДЕ СМОТРЕТЬ И СЛУШАТЬ
🔸 YouTube: https://youtu.be/Cg7geUDHH4A
🔸 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: https://www.patreon.com/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
View all episodes
By Алексей Картынник
4.4
55 ratings
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: https://bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact.
👉 ТГ-группа участников хакатона: https://t.me/hackatonx/1/11991
Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долго занимался формальной верификацией и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора и тулинга Tact. Сегодня говорим о математическом тестировании программ, ПО в шахтах, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом.
Так что, заваривайте чаинский/кофеинский и погнали! 😉
ССЫЛКИ
🔹 Материалы из выпуска: https://t.me/itbeard/1339
🔹 Антон на GitHub: https://github.com/anton-trunov
🔹 Поддержать канал на Patreon: https://www.patreon.com/itbeard
🔸 Хакатон от TON: https://bit.ly/ton-hack-2024
🔸 Воркшоп от Антона на хакатоне №1: https://www.youtube.com/live/AJX2Ghk07zk
🔸 Воркшоп от Антона на хакатоне №2: https://www.youtube.com/live/0TfwDGYjCHQ
ГДЕ СМОТРЕТЬ И СЛУШАТЬ
🔸 YouTube: https://youtu.be/Cg7geUDHH4A
🔸 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: https://www.patreon.com/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
More shows like АйТиБорода
View all
BeardyCast: гаджеты и медиакультура
122 Listeners
Не занесли
58 Listeners
Что случилось
354 Listeners
Радио Медуза
94 Listeners
Искусство для пацанчиков
67 Listeners
ВИВАТ, ИСТОРИЯ!
49 Listeners
kuji podcast
134 Listeners
Запуск завтра
87 Listeners
Закат империи
211 Listeners
Интересный Подкаст
16 Listeners
Подкаст Глеба Соломина
4 Listeners
На пенсию в 35 лет!
12 Listeners
Дилетант
34 Listeners
Время и деньги
36 Listeners
Подкаст на Вайбе
1 Listeners