КОМПИЛЯТОР на TypeScript! / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн
Vložit
- čas přidán 6. 06. 2024
- 👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact.
👉 ТГ-группа участников хакатона: t.me/hackatonx/
Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долгое время занимался формальной верификацией кода и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора Tact и тулинга вокруг него. Сегодня говорим о "математическом" тестировании программ, ПО для шахт, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом.
Так что, заваривайте чаинский/кофеинский и погнали! 😉
ССЫЛКИ
🔹 Материалы из выпуска: t.me/itbeard/1339
🔹 Антон на GitHub: github.com/anton-trunov
🔹 Поддержать канал на Patreon: / itbeard
🔸 Хакатон от TON: bit.ly/ton-hack-2024
🔸 Воркшоп от Антона на хакатоне №1: czcams.com/users/liveAJX2Ghk07zk
🔸 Воркшоп от Антона на хакатоне №2: czcams.com/users/live0TfwDGYjCHQ
ГДЕ СМОТРЕТЬ И СЛУШАТЬ
🔸 CZcams: • КОМПИЛЯТОР на TypeScri...
🔸 Apple Podcasts: apple.co/41hwOIQ
🔸 Google Podcasts: bit.ly/itbeard-googlepodcasts
🔸 Spotify: spoti.fi/3Ktbf1Y
🔸 Скачать mp3: 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
🔸 Стать спонсором на CZcams: czcams.com/users/itbeardjoin
🔸 Через карту и криптовалюты: itbeard.com/help
ПОДПИСЫВАЙТЕСЬ
🔻 Сайт: itbeard.com
🔻 Telegram: t.me/itbeard
🔻 LinkedIn: s.itbeard.com/linkedin
#айтиборода #ton #tact - Věda a technologie
В закладку на просмотр! 🔥
Ееее!😎
не успело выйти редкое интервью с Дуровым, а у Лекса уже готов материал про Tact 😮
вот это нюх на тренды. сразу видно, Senior CZcamsr 😊
Очень круто!
Отдельное спасибо за таймкоды)
Даешь на каждый блокчейн свой язык программирования!
Либертарианский подход к проге
С целью получения инфы о Такте решил смотреть этот видос. Но узнал кое что сногсшибательное - формальная верификации! Это вы вернуло мой мозг, будет круто посмотреть отдельный видос про эту тему
очень интересное интервью! хочу больше такого контента на тему блокчейна и смарт-контрактов. спасибо за выпуск
Поднялся Антоха)
О, знаю Антона, помогал разбираться с Когом 😊
О, Антон!
🔥🔥🔥
Где можно взять материалы, почитать по Tact ?
Дока ну
ждём выпуск с Дуровым)
hi! Поподробней об OCAML хочется послушать. Интересно. (Кстати на REACT тоже теперь есть компилятор)
Скоро будет :)
нужно ещё Алекса Грызлова и понв в сборе
Почему func называют функциональным программированием ? Оно ведь на самом деле процедурное.
Очень не хочется придираться, интервью хорошее, но создалось впечатление, что в большинстве мест нужно заменить слово семантика на слово синтаксис или синтаксическая структура, потому, что со смысловой нагруженностью кода работаю не линтеры и компиляторы, а человеческая нейросеть или языковая модель. Линтеру, что имя функции buyIceсream, что dropTable одинаково, но вот, что в buyIceсream вторая буква с из кириллицы, он найдет и lowerCamelCase различит
Реально интервью с Виталием Николаевичем Брагилевским сделать?
Почему бы и нет. Тему бы только :)
Обычно смотрю все интервью на x2, сейчас не получилось)
Хаха, да, жизненно
Я все ещё жду шарписта, который разрабатывает приложухи для мобилок. Очень редкая и интересная порода.
У меня такая была, Катя
Проблемы с soundness в java и Scala2 в том, что для любого типа можно создать его экземпляр null. В Scala3 сделали что не для любого.
ну типа, есть статья одерски про это
3 часа чистейшей водьі
Госпаді, откуда ж вы такіе беретесь, без ушей
Idris2 умеет проверять что доказательства не используются в вычислениях.
Смартконтракты сейчас используются практически только в блокчейне, но потенциально эта идея подходит и для других областей. Напрашивается классический банкинг, но мне кажется более перспективны игры - "если мой корован не будет ограблен, я выплачиваю оговоренную сумму охранникам и оплачиваю половину потерянной в боях техники".
#заебись
Первый!
А я вторая 😅
Кто-то врёт из вас двоих 😁
Перший
Кто-то врёт из вас двоих 🤔
😅