👉 Присоединяйтесь к хакатону 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