ElixirConf 2021 - Айзек Йонемото - Зиг (сердце) Эликсир

• Благодарность за участие в конференции.  

• Представление темы выступления: "Эликсир зигловса".  

• Краткая информация о себе: программирование с 80-х годов, бывший биохимик.  

• Первые программы на C и C++.  

• Изучение Ruby и работа в биохимии.  

• Переход к Julia и веб-разработке.  

• Открытие Elixir и работа в компании Vic.  

• Открытие Zig в 2019 году.  

• Важность радости от программирования.  

• Примеры трудностей с подключением к сторонним сервисам.  

• Прагматичный дизайн обоих языков.  

• Отсутствие лексических макросов.  

• Документация и тесты как первого класса.  

• Система сборки встроена в язык.  

• Пример программы на C и Zig.  

• Различия в операторах include и макросах.  

• Встроенные функции импорта в Zig.  

• Удобство анализа кода в Zig по сравнению с C++.  

• Инструкция defer в Zig аналогична defer в Go.  

• Она позволяет закрывать ресурсы в конце блока, защищая от досрочных возвратов.  

• Пример использования: закрытие дескриптора файла после завершения работы.  

• Сокращение для досрочного завершения работы при ошибке.  

• Пример: функция main может возвращать ошибку, что позволяет закрывать файл при ошибке.  

• Это важно для демонстрации в будущем.  

• NIFs должны быть интегрированы с Elixir и Beam.  

• NIFs позволяют использовать низкоуровневые функции операционной системы.  

• Пример: использование библиотеки сокетов для выполнения ICMP-пинга.  

• NIFs нарушают гарантии безопасности и изоляцию домена Beam.  

• Возможные проблемы: сбои, segfaults, panics.  

• Использование Rust для решения этих проблем.  

• В Beam есть встроенные NIFs, поддерживаемые командой Erlang.  

• Примеры использования: библиотеки для профилирования ОС и защиты от процессов-зомби.  

• Использование макроса use zig для интеграции Zig с Elixir.  

• Пример: вызов функции libblas из Elixir через Zig.  

• Пример кода: функция axpy для линейной алгебры.  

• Спецификации типов выводятся из заголовков функций Zig.  

• Документация генерируется из строк Zig doc.  

• Ошибки компилятора и коды возврата объединяются в трассировки стека.  

• Модульные тесты Zig можно запускать из Elixir.  

• Пример: проверка типа и обработка ошибок.  

• Генерация кода для NIFs и рекомендации по их использованию.  

• Zig - это язык программирования, который позволяет писать тесты как обычные функции.  

• Тесты в Zig являются гражданами первого класса и могут выполняться без поддержки виртуальной машины Beam.  

• Модуль zig и директива zig test вдохновлены doctest и xunit.  

• При запуске смешанного теста программа перекомпилирует nif и запускает тесты.  

• Тесты могут сообщать о сбоях и ошибках, что помогает в отладке.  

• Цель - сделать nif добропорядочными гражданами Beam.  

• Выделение памяти должно быть видимым для виртуальной машины Beam.  

• Zig независим от распределителей памяти и поддерживает все формы параллелизма nif.  

• Демонстрация использования функции yielding для управления памятью и параллелизма.  

• Программа выделяет и освобождает память, демонстрируя жизненный цикл nif.  

• Функция yield приостанавливает выполнение функции и возвращается к циклу обработки событий.  

• Zig позволяет асинхронное выполнение функций без необходимости использования хвостовых вызовов.  

• Программа может выполняться в многопоточном режиме, используя функцию yield.  

• Zig поддерживает бесцветные асинхронные функции, что позволяет запускать асинхронный код в синхронном режиме.  

• Демонстрация работы программы в многопоточном режиме и управление памятью.  

• Демонстрация live view, где zig-код выполняется в реальном времени через ziggler.  

• Приложение выполняет трассировку лучей сцены под капотом через phoenix liveview.  

• Приложение доступно для игры и использования в реальных проектах.  

• Ядро Ziggler почти готово, ожидаются изменения в API.  

• Планируется поддержка нескольких версий Zig и интеграция менеджера пакетов.  

• Поддержка Ziggler через Zig 1.1, но нужна помощь для поддержки после этого.  

• Высокий уровень интеграции с Elixir, но проблемы с Windows.  

• Необходимость помощи в установке и настройке на Azure.  

• Вопрос о перезагрузке модуля и перезапуске виртуальной машины.  

• Проект XLA для серверной части только для центрального процессора.  

• Благодарности Хосе, Энди Келли и Алексу за создание Zig.  

• Рекомендация видео "Дорога к Zig Ten" и библиотеки Ziggler.  

• Нет опыта развертывания NIFS в производстве.  

• Интеграция трассировки стека и отслеживание ошибок.  

• Ограничение тестов свойств для интеграции между Elixir и Zig.  

• Сбор мусора в Beam и использование cabi-хуков.  

• Преобразование типов данных между Zig и Elixir.  

• Возможность доставки кортежей и грузовиков из Zig в Elixir.  

• Статическая привязка в Zig и создание файлов .so, .dlib или .dll.  

• Время компиляции и инкрементная компиляция в Zig.  

• Возможность включения файлов Zig с использованием символов.  

• Менеджер пакетов пока не реализован, но скоро появится.  

• Настройка icmp-пинга для виртуальной машины Beam.  

• Проект рассчитан на два года, и время почти закончилось.