Podbean logo
  • Discover
  • Podcast Features
    • Podcast Hosting

      Start your podcast with all the features you need.

    • Podbean AI Podbean AI

      AI-Enhanced Audio Quality and Content Generation.

    • Blog to Podcast

      Repurpose your blog into an engaging podcast.

    • Video to Podcast

      Convert YouTube playlists to podcasts, videos to audios.

  • Monetization
    • Ads Marketplace

      Join Ads Marketplace to earn through podcast sponsorships.

    • PodAds

      Manage your ads with dynamic ad insertion capability.

    • Apple Podcasts Subscriptions Integration

      Monetize with Apple Podcasts Subscriptions via Podbean.

    • Live Streaming

      Earn rewards and recurring income from Fan Club membership.

  • Podbean App
    • Podcast Studio

      Easy-to-use audio recorder app.

    • Podcast App

      The best podcast player & podcast app.

  • Help and Support
    • Help Center

      Get the answers and support you need.

    • Podbean Academy

      Resources and guides to launch, grow, and monetize podcast.

    • Podbean Blog

      Stay updated with the latest podcasting tips and trends.

    • What’s New

      Check out our newest and recently released features!

    • Podcasting Smarter

      Podcast interviews, best practices, and helpful tips.

  • Popular Topics
    • How to Start a Podcast

      The step-by-step guide to start your own podcast.

    • How to Start a Live Podcast

      Create the best live podcast and engage your audience.

    • How to Monetize a Podcast

      Tips on making the decision to monetize your podcast.

    • How to Promote Your Podcast

      The best ways to get more eyes and ears on your podcast.

    • Podcast Advertising 101

      Everything you need to know about podcast advertising.

    • Mobile Podcast Recording Guide

      The ultimate guide to recording a podcast on your phone.

    • How to Use Group Recording

      Steps to set up and use group recording in the Podbean app.

  • All Arts Business Comedy Education
  • Fiction Government Health & Fitness History Kids & Family
  • Leisure Music News Religion & Spirituality Science
  • Society & Culture Sports Technology True Crime TV & Film
  • Live
  • How to Start a Podcast
  • How to Start a Live Podcast
  • How to Monetize a podcast
  • How to Promote Your Podcast
  • How to Use Group Recording
  • Log in
  • Start your podcast for free
  • Podcasting
    • Podcast Features
      • Podcast Hosting

        Start your podcast with all the features you need.

      • Podbean AI Podbean AI

        AI-Enhanced Audio Quality and Content Generation.

      • Blog to Podcast

        Repurpose your blog into an engaging podcast.

      • Video to Podcast

        Convert YouTube playlists to podcasts, videos to audios.

    • Monetization
      • Ads Marketplace

        Join Ads Marketplace to earn through podcast sponsorships.

      • PodAds

        Manage your ads with dynamic ad insertion capability.

      • Apple Podcasts Subscriptions Integration

        Monetize with Apple Podcasts Subscriptions via Podbean.

      • Live Streaming

        Earn rewards and recurring income from Fan Club membership.

    • Podbean App
      • Podcast Studio

        Easy-to-use audio recorder app.

      • Podcast App

        The best podcast player & podcast app.

  • Advertisers
  • Enterprise
  • Pricing
  • Resources
    • Help and Support
      • Help Center

        Get the answers and support you need.

      • Podbean Academy

        Resources and guides to launch, grow, and monetize podcast.

      • Podbean Blog

        Stay updated with the latest podcasting tips and trends.

      • What’s New

        Check out our newest and recently released features!

      • Podcasting Smarter

        Podcast interviews, best practices, and helpful tips.

    • Popular Topics
      • How to Start a Podcast

        The step-by-step guide to start your own podcast.

      • How to Start a Live Podcast

        Create the best live podcast and engage your audience.

      • How to Monetize a Podcast

        Tips on making the decision to monetize your podcast.

      • How to Promote Your Podcast

        The best ways to get more eyes and ears on your podcast.

      • Podcast Advertising 101

        Everything you need to know about podcast advertising.

      • Mobile Podcast Recording Guide

        The ultimate guide to recording a podcast on your phone.

      • How to Use Group Recording

        Steps to set up and use group recording in the Podbean app.

  • Discover
  • Log in
    Sign up free
АйТиБорода

АйТиБорода

Technology

КОМПИЛЯТОР на TypeScript / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн

КОМПИЛЯТОР на TypeScript / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн

2024-04-18
Download

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

More Episodes

неРодина #4 | Через Австралийские тернии к ЗВËЗДАМ! / Про космос, нейроморфы и домашних пауков
2025-04-12 1.8k
ВАЙБКОДЕРЫ НАС ЗАМЕНЯТ? / Y-Combinator, ИИ-инструменты, Бабушкин и Сиолошная / Реакт от АйТиБороды
2025-03-16 2.4k
AI-БАЗА по программированию в 2025 / Полный гайд разработки с ИИ: теория, инструменты, примеры
2025-03-01 2.6k
Плюс Наука #5 | Загадка Трёх Тел / Зачем человечество шлет тонны техники на орбиту Земли?
2025-01-14 3.0k
Накрутка опыта ПОД КАПОТОМ / Найм в IT сломан, но вы держитесь! / Антон Назаров
2024-12-25 3.0k
IT-перезд в Англию / От Junior до Senior за 4 года / Интервью с Senior Software Engineer
2024-12-05 2.7k
Рекрутинг в IT: честно о профессии, рынке фильтрах и накрутке в 2025 / Интервью c Head of Recruiting
2024-11-17 3.0k
неРодина #3 | Абстрактный Мужик в реальной Америке / Про дом, свободу и IT в США
2024-11-08 2.3k
Tech в iGaming: онлайн-казино под капотом / Монолит vs Сервисы, Ruby на хайлоаде и AI в SOFTSWISS
2024-10-31 2.2k
Под капотом Angular / Самый мощный JS-фреймворк / Google Developer Expert for Angular Дима Меженский
2024-09-22 3.5k
Всё про OCaml / Язык без RETURN на котором написан Rust / Опенсорс за деньги или за звёзды?
2024-09-03 2.7k
🔥 Спешиал #3 | SITUATIONAL AWARENESS / Часть первая - From GPT-4 to AGI / Клубный созвон
2024-08-29 2.1k
Паттерны в JavaScript с ПРИМЕРАМИ / Культура кода и как готовить TDD / Тимур Шемсединов
2024-08-09 2.7k
Всё про доступность интерфейсов / Почему это важно и что надо знать разработчику / Глафира Жур
2024-07-15 3.4k
$6000 в месяц на приложениях Apple / Пассивный доход для мобильного разработчика / LightApps
2024-06-11 4.1k
🔥 Спешиал #2 | Самые свежие новости разработки с ИИ / AI-дайджест №7 от 7 июня 2024
2024-06-07 2.1k
🔥 Спешиал #1 | Валерий Селицкий - опыт использования ИИ, написание ботов-рисовальщиков и Cursor
2024-06-07 2.1k
Следящий за программистами / Сколько платить и куда растить разработчика / Всё о Resource Management
2024-05-27 3.4k
Плюс Наука #4 | Человечество и Космос / Перый человек в открытом космосе и на Луне / США vs СССР
2024-04-28 4.2k
  • ←
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • →
0123456789101112131415161718

Get this podcast on your
phone, FREE

Download Podbean app on App Store Download Podbean app on Google Play

Create your
podcast in
minutes

  • Full-featured podcast site
  • Unlimited storage and bandwidth
  • Comprehensive podcast stats
  • Distribute to Apple Podcasts, Spotify, and more
  • Make money with your podcast
Get started

It is Free

  • Podcast Services

    • Podcast Features
    • Pricing
    • Enterprise Solution
    • Private Podcast
    • The Podcast App
    • Live Stream
    • Audio Recorder
    • Remote Recording
    • Podbean AI
  •  
    • Create a Podcast
    • Video Podcast
    • Start Podcasting
    • Start Radio Talk Show
    • Education Podcast
    • Church Podcast
    • Nonprofit Podcast
    • Get Sermons Online
    • Free Audiobooks
  • MONETIZATION & MORE

    • Podcast Advertising
    • Dynamic Ads Insertion
    • Apple Podcasts Subscriptions
    • Switch to Podbean
    • YouTube to Podcast
    • Blog to Podcast
    • Submit Your Podcast
    • Podbean Plugins
    • Developers
  • KNOWLEDGE BASE

    • How to Start a Podcast
    • How to Start a Live Podcast
    • How to Monetize a Podcast
    • How to Promote Your Podcast
    • Mobile Podcast Recording Guide
    • How to Use Group Recording
    • Podcast Advertising 101
  • Support

    • Support Center
    • What’s New
    • Free Webinars
    • Podcast Events
    • Podbean Academy
    • Podbean Amplified Podcast
    • Badges
    • Resources
  • Podbean

    • About Us
    • Podbean Blog
    • Careers
    • Press and Media
    • Green Initiative
    • Affiliate Program
    • Contact Us
  • Privacy Policy
  • Cookie Policy
  • Terms of Use
  • Consent Preferences
  • Copyright © 2015-2025 Podbean.com