Встреча разработчиков LLVM в США 2025 г.: создание современных интерфейсов на языке программирова...

Встреча разработчиков LLVM в США 2025 г. https://llvm.org/devmtg/2025-10/ ------ Название: Создание современных языковых интерфейсов с помощью MLIR: уроки метапрограммирования времени компиляции Mojo Докладчики: Крис Латтнер, Билли Чжу ------ Слайды: https://llvm.org/devmtg/2025-10/slide... ----- В этом докладе объясняется, как Mojo, новый язык программирования, использует MLIR для создания мощной системы метапрограммирования времени компиляции, предназначенной для гетерогенных вычислений. Язык использует высокоуровневые функции, такие как трейты и зависимые типы, для создания надежных типобезопасных абстракций, которые могут работать на разном оборудовании, используя единую модель программирования. В основе реализации лежит параметрический IR, построенный на MLIR, где система атрибутов MLIR используется для представления параметров в полиморфной системе Mojo. Такая конструкция, делающая как операции, так и типы параметризуемыми, позволяет эффективно специализировать обобщённый код, обеспечивая при этом типобезопасность на протяжении всего процесса компиляции. В презентации будут представлены практические рекомендации и паттерны, изученные в ходе разработки, которые помогут другим разработчикам языков, работающим с MLIR. ----- Видео отредактировано Bash Films: http://www.BashFilms.com