Лекция Юрия Четырько: Транзакционно-реактивное программирование. В примерах на языке Артель
Лекция Юрия Четырько посвящена транзакционно-реактивному программированию на языке Артель. Ссылка на презентацию: https://ontonet.org/lenta/лента/элемент/5078 О спикере: Юрий Четырько – Со-автор семейства языков Артель – Со-автор патентов в области баз данных и обработки текстов – Со-основатель компании Незабудка Софтвер (Беларусь, 2011-наст.) – Со-основатель компании NZ Labs (США, Беларусь, 2018-наст.) – Со-основатель компании PointSource (США, Беларусь, 2010-2018) – Незабудка Софтвер: https://nezaboodka.by, https://nezaboodka.com – Персональный сайт-визитка: https://yury.ch/ru 00:05 - Введение: реактивное программирование, русская лексика и модули 01:04 - Юрий Четырько: соавтор Артель, основатель «Незабудка Софтвер» 02:47 - Концепция реактивности: сигналы, реакции, автоматический запуск 03:43 - Пример в Артель: сигнальные переменные баланса и реакции 06:08 - Реактивность в Excel: ячейки-сигналы, формулы-реакции 07:29 - Исторический контекст: SimScript и мониторные переменные 09:03 - Транзакционность: атомарность и изоляция изменений 09:56 - Транзакционная реактивность: предотвращение двойных срабатываний 10:52 - Проблемы классической реактивности: перевыполнение реакций 11:45 - Роль транзакций: границы действий и откат при ошибках 13:20 - Преимущества транзакций: целостность данных и асинхронность 16:25 - Особенности подхода: динамические зависимости и реальные изменения 19:34 - Каскадные зависимости: гарантии и контекст транзакции 24:53 - Переход к примерам: часы с переключателем темы и авторежимом 25:37 - Приложение: бегущие часы, светлая/тёмная тема, автопереключение 26:24 - Исходный код: файл «приложение.арт», модуль реактивности 27:22 - Структура интерфейса: функция-строитель, сигналы времени и темы 28:19 - Настройка окна: стилизация и реактивные визуальные блоки 29:36 - Реактивные переменные: сигнальная переменная «час», р-объект 31:36 - Обновление текста темы: сигнальная переменная «тёмная» 33:33 - Проблемы явности: визуализация реактивных переменных в среде 36:59 - Работа с транзакциями: транзакция «такт», калибровка таймера 39:39 - Работа с данными: игнорирование повторных присваиваний 40:53 - Перехватчики и вычисляемые переменные: валидация и отладка 42:31 - Гранулярность перерисовки: тонкое обновление, 7–9 мс на кадр 44:46 - Обновление сигналов: таймер, транзакции тем, авторежим 46:57 - Роль рантайма: перехват обращений, построение зависимостей 50:29 - Визуальные блоки: реакции отрисовки, динамическая подписка 51:52 - Игра «Угадай число»: бинарный поиск, сигналы, транзакции 56:00 - Раскраска кнопок: зелёный/красный/серый, динамическая перерисовка 57:57 - Цвет кнопок: функция определения цвета, состояние и визуализация 59:40 - Технические детали: тип «да/нет/пусто», без новых типов данных 01:00:36 - Демонстрация: большие данные, реактивная конфигурация визуалов 01:05:53 - Реактивность и транзакции: отслеживание изменений, скрипты 01:08:48 - Обновление данных: точечное обновление зависимых частей 01:10:21 - Отладка: упрощение, визуальное управление, авто-отслеживание 01:12:39 - Смена темы: инкрементальные изменения без перезагрузки 01:14:25 - Развитие технологий: эволюция подхода, инструменты отслеживания 01:14:58 - Введение в систему: TypeScript, интеграция с Artel, примеры 01:15:57 - Русскоязычные фреймворки: доступ к браузеру, сложные системы 01:16:43 - Reactronic: транзакционно-реактивное ядро, БД на MVCC 01:17:43 - Workstation: визуальные элементы на базе Reactronic 01:19:44 - Инструментарий: визуализация зависимостей, контрол флоу 01:20:37 - Язык и среда: подсветка сигналов, трассировка, отладка 01:25:27 - Асинхронность: асинхронные реакции, параллелизм, отмена 01:27:35 - JavaScript: геттеры/сеттеры, генерация кода для MVCC 01:29:09 - Упрощение веб-приложений: генерация кода, динамическая обработка 01:29:41 - Веб для десктопа: преимущества браузеров, решение интеропа 01:30:53 - Приложения на C#: реализация на компилируемых языках 01:31:38 - Управление кнопками: динамическое удаление/добавление, лайфсайкл 01:32:17 - Алгоритмы изменений: вычисление дельты, сверка списков 01:33:04 - Архитектура: двухзвенная модель без сервера приложений 01:35:15 - Реактивность в робототехнике: бизнес-логика, датчики-сигналы 01:39:00 - Лексика и терминология: дискуссия, планирование встречи 01:41:22 - Коллективный консенсус: обоснование решений, стандарты 01:42:13 - Планирование встреч: следующие дискуссии, доклады 01:43:24 - Русификация C++: выступление Евгения, актуальность темы 01:44:22 - Подготовка доклада: материал на основе записей 01:45:18 - Завершение: благодарность, дальнейшие шаги 01:46:07 - Планы на лекции: лексика, стандартизация C++, новая идея 01:46:41 - Прощание
Лекция Юрия Четырько посвящена транзакционно-реактивному программированию на языке Артель. Ссылка на презентацию: https://ontonet.org/lenta/лента/элемент/5078 О спикере: Юрий Четырько – Со-автор семейства языков Артель – Со-автор патентов в области баз данных и обработки текстов – Со-основатель компании Незабудка Софтвер (Беларусь, 2011-наст.) – Со-основатель компании NZ Labs (США, Беларусь, 2018-наст.) – Со-основатель компании PointSource (США, Беларусь, 2010-2018) – Незабудка Софтвер: https://nezaboodka.by, https://nezaboodka.com – Персональный сайт-визитка: https://yury.ch/ru 00:05 - Введение: реактивное программирование, русская лексика и модули 01:04 - Юрий Четырько: соавтор Артель, основатель «Незабудка Софтвер» 02:47 - Концепция реактивности: сигналы, реакции, автоматический запуск 03:43 - Пример в Артель: сигнальные переменные баланса и реакции 06:08 - Реактивность в Excel: ячейки-сигналы, формулы-реакции 07:29 - Исторический контекст: SimScript и мониторные переменные 09:03 - Транзакционность: атомарность и изоляция изменений 09:56 - Транзакционная реактивность: предотвращение двойных срабатываний 10:52 - Проблемы классической реактивности: перевыполнение реакций 11:45 - Роль транзакций: границы действий и откат при ошибках 13:20 - Преимущества транзакций: целостность данных и асинхронность 16:25 - Особенности подхода: динамические зависимости и реальные изменения 19:34 - Каскадные зависимости: гарантии и контекст транзакции 24:53 - Переход к примерам: часы с переключателем темы и авторежимом 25:37 - Приложение: бегущие часы, светлая/тёмная тема, автопереключение 26:24 - Исходный код: файл «приложение.арт», модуль реактивности 27:22 - Структура интерфейса: функция-строитель, сигналы времени и темы 28:19 - Настройка окна: стилизация и реактивные визуальные блоки 29:36 - Реактивные переменные: сигнальная переменная «час», р-объект 31:36 - Обновление текста темы: сигнальная переменная «тёмная» 33:33 - Проблемы явности: визуализация реактивных переменных в среде 36:59 - Работа с транзакциями: транзакция «такт», калибровка таймера 39:39 - Работа с данными: игнорирование повторных присваиваний 40:53 - Перехватчики и вычисляемые переменные: валидация и отладка 42:31 - Гранулярность перерисовки: тонкое обновление, 7–9 мс на кадр 44:46 - Обновление сигналов: таймер, транзакции тем, авторежим 46:57 - Роль рантайма: перехват обращений, построение зависимостей 50:29 - Визуальные блоки: реакции отрисовки, динамическая подписка 51:52 - Игра «Угадай число»: бинарный поиск, сигналы, транзакции 56:00 - Раскраска кнопок: зелёный/красный/серый, динамическая перерисовка 57:57 - Цвет кнопок: функция определения цвета, состояние и визуализация 59:40 - Технические детали: тип «да/нет/пусто», без новых типов данных 01:00:36 - Демонстрация: большие данные, реактивная конфигурация визуалов 01:05:53 - Реактивность и транзакции: отслеживание изменений, скрипты 01:08:48 - Обновление данных: точечное обновление зависимых частей 01:10:21 - Отладка: упрощение, визуальное управление, авто-отслеживание 01:12:39 - Смена темы: инкрементальные изменения без перезагрузки 01:14:25 - Развитие технологий: эволюция подхода, инструменты отслеживания 01:14:58 - Введение в систему: TypeScript, интеграция с Artel, примеры 01:15:57 - Русскоязычные фреймворки: доступ к браузеру, сложные системы 01:16:43 - Reactronic: транзакционно-реактивное ядро, БД на MVCC 01:17:43 - Workstation: визуальные элементы на базе Reactronic 01:19:44 - Инструментарий: визуализация зависимостей, контрол флоу 01:20:37 - Язык и среда: подсветка сигналов, трассировка, отладка 01:25:27 - Асинхронность: асинхронные реакции, параллелизм, отмена 01:27:35 - JavaScript: геттеры/сеттеры, генерация кода для MVCC 01:29:09 - Упрощение веб-приложений: генерация кода, динамическая обработка 01:29:41 - Веб для десктопа: преимущества браузеров, решение интеропа 01:30:53 - Приложения на C#: реализация на компилируемых языках 01:31:38 - Управление кнопками: динамическое удаление/добавление, лайфсайкл 01:32:17 - Алгоритмы изменений: вычисление дельты, сверка списков 01:33:04 - Архитектура: двухзвенная модель без сервера приложений 01:35:15 - Реактивность в робототехнике: бизнес-логика, датчики-сигналы 01:39:00 - Лексика и терминология: дискуссия, планирование встречи 01:41:22 - Коллективный консенсус: обоснование решений, стандарты 01:42:13 - Планирование встреч: следующие дискуссии, доклады 01:43:24 - Русификация C++: выступление Евгения, актуальность темы 01:44:22 - Подготовка доклада: материал на основе записей 01:45:18 - Завершение: благодарность, дальнейшие шаги 01:46:07 - Планы на лекции: лексика, стандартизация C++, новая идея 01:46:41 - Прощание