В гостях:
- Дмитрий Полунин, @p0lunin, со-автор языка Tact,
- Стив Коршаков, @founders, со-автор языка Tact 2.0,
- Антон Трунов, @AntonTrunov, лидер команды Tact,
- Александр Кирсанов @tolk_vm, разработчик KPHP и автор языка Tolk.
Таймкоды:
1:33 путь от фанси к такту
5:55 солидити
9:40 кто сейчас поддерживает такт
12:50 толк
16:34 чего не хватает в фанси
27:40 комиссии
32:00 синтаксис vs семантика
34:04 конкурс на лучший вопрос
34:47 закрытая разработка
38:06 совместимость
39:49 промежуточный итог
40:40 системы типов
48:20 сроки и тулинг
55:45 вопросы слушателей
1:00:20 если бы фанси с нуля
1:03:15 афинные типы
1:07:45 лиспы и полиморфизм
1:20:00 зависимые типы и формальная верификация
1:34:25 простой подсчет газа в толке
1:41:44 читаемый текстовый ABI
1:46:10 афинные типы для жетонов
1:46:46 дебаггер
1:55:45 почему провафлили все полимеры