У нас вы можете посмотреть бесплатно [ML24] Safe Pattern Generation for Multi-Stage Programming или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Safe Pattern Generation for Multi-Stage Programming (Video, ML 2024) Ethan Range, and Jeremy Yallop (University of Cambridge; University of Cambridge) Abstract: Multi-stage programming (MSP) is a useful way of generating optimised programs, but existing MSP systems have limited expressiveness, with no support for type-safe generation of patterns whose shape is statically unknown (i.e. determined only when code generators are run, not when they are written). This work introduces a design for typed generation of arbitrary patterns, and shows how to use the design to generate statically unknown patterns. Presentation at the ML 2024 workshop, Sept 6, 2024, https://icfp24.sigplan.org/home/mlwor... Sponsored by ACM SIGPLAN,