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
Завтракаст (Zavtracast)
121 Listeners
Что случилось
355 Listeners
Искусство для пацанчиков
67 Listeners
Два по цене одного
87 Listeners
КритМышь
42 Listeners
kuji podcast
130 Listeners
Запуск завтра
83 Listeners
Закат империи
194 Listeners
К тебе или ко мне? 18+
30 Listeners
Потом доделаю
0 Listeners
Подкаст Глеба Соломина
2 Listeners
План Б
17 Listeners
На пенсию в 35 лет!
12 Listeners
Почему мы еще живы
108 Listeners
Прием
6 Listeners