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

Рет қаралды 38,341

ITBeard

Күн бұрын

Пікірлер: 45

@ITKAMASUTRA 7 ай бұрын

В закладку на просмотр! 🔥

@itbeard 7 ай бұрын

Ееее!😎

@h.e.a.t.h.r.o 7 ай бұрын

не успело выйти редкое интервью с Дуровым, а у Лекса уже готов материал про Tact 😮 вот это нюх на тренды. сразу видно, Senior KZbinr 😊

@mazarar8322 7 ай бұрын

Даешь на каждый блокчейн свой язык программирования!

@namelessboar 5 ай бұрын

Либертарианский подход к проге

@okoloboga-37 7 ай бұрын

С целью получения инфы о Такте решил смотреть этот видос. Но узнал кое что сногсшибательное - формальная верификации! Это вы вернуло мой мозг, будет круто посмотреть отдельный видос про эту тему

@anton.sokol812 6 ай бұрын

очень интересное интервью! хочу больше такого контента на тему блокчейна и смарт-контрактов. спасибо за выпуск

@DimaLifeIsGood 6 ай бұрын

О, знаю Антона, помогал разбираться с Когом 😊

@klirmio21 7 ай бұрын

Отдельное спасибо за таймкоды)

@TimurShemsedinov 6 ай бұрын

Очень не хочется придираться, интервью хорошее, но создалось впечатление, что в большинстве мест нужно заменить слово семантика на слово синтаксис или синтаксическая структура, потому, что со смысловой нагруженностью кода работаю не линтеры и компиляторы, а человеческая нейросеть или языковая модель. Линтеру, что имя функции buyIceсream, что dropTable одинаково, но вот, что в buyIceсream вторая буква с из кириллицы, он найдет и lowerCamelCase различит

@mikhailroslov6426 6 ай бұрын

ждём выпуск с Дуровым)

@fxdx0270 7 ай бұрын

Поднялся Антоха)

@yarosav5396 5 ай бұрын

нужно ещё Алекса Грызлова и понв в сборе

@biorr_boletaria 7 ай бұрын

О, Антон!

@usernamer519 7 ай бұрын

Очень круто!

@esimitley4729 6 ай бұрын

hi! Поподробней об OCAML хочется послушать. Интересно. (Кстати на REACT тоже теперь есть компилятор)

@itbeard 5 ай бұрын

Скоро будет :)

@kipzmo6969 7 ай бұрын

Я все ещё жду шарписта, который разрабатывает приложухи для мобилок. Очень редкая и интересная порода.

@itbeard 7 ай бұрын

У меня такая была, Катя

@breakyourself4043 7 ай бұрын

Где можно взять материалы, почитать по Tact ?

@itbeard 7 ай бұрын

Дока ну

@danilbraun 5 ай бұрын

00:18:00 ну вообще нет же. Доказательство в математике нужно, чтобы дать понимание (ок, вопрос зачем нужны доказательства дискуссионный). Если доказательство представляет собой что-то нечитаемое и монструозное, никто это читать и, соответственно, разбираться не будет, поэтому понимания, именно /почему/ это что-то верно, не будет, и в математике, возможно, не так важно, верно по итогу утверждение или нет --- точнее, важнее понять, /почему/ верно или неверно, чем определить сам факт верности/неверности.

@couragic 7 ай бұрын

Почему func называют функциональным программированием ? Оно ведь на самом деле процедурное.

@spgc239 6 ай бұрын

Реально интервью с Виталием Николаевичем Брагилевским сделать?

@itbeard 6 ай бұрын

Почему бы и нет. Тему бы только :)

@notslip1000 7 ай бұрын

Обычно смотрю все интервью на x2, сейчас не получилось)

@andor1904 7 ай бұрын

Хаха, да, жизненно

@mikepotanin 7 ай бұрын

Проблемы с soundness в java и Scala2 в том, что для любого типа можно создать его экземпляр null. В Scala3 сделали что не для любого.

@yarosav5396 5 ай бұрын

ну типа, есть статья одерски про это

@mikepotanin 7 ай бұрын

Idris2 умеет проверять что доказательства не используются в вычислениях.

@armanisadzhanyan7138 5 ай бұрын

Короче, мат логика было будет :)

@mikepotanin 7 ай бұрын

Смартконтракты сейчас используются практически только в блокчейне, но потенциально эта идея подходит и для других областей. Напрашивается классический банкинг, но мне кажется более перспективны игры - "если мой корован не будет ограблен, я выплачиваю оговоренную сумму охранникам и оплачиваю половину потерянной в боях техники".