Foundry: Ruby для встраиваемых устройств (RailsClub 2013)

Foundry — Ruby-подобный язык со статической типизацией и выразительным метапрограммированием, который компилируется в машинный код, сравнимый по эффективности с Си. В Foundry есть все знакомые абстракции Ruby: утиная типизация, send, method_missing, замыкания и прочие, но в отличие от Ruby они "бесплатные": не уменьшают производительность кода.

Transcript

1. Foundry Ruby для встраиваемых устройств Осень 2013 http://foundry-lang.org/
2. Петр Зотов whitequark.org, github.com/whitequark PICOBIT для STM32, gem parser, gem ast, LLVM contributor, stlink gdbserver
3. Внезапно демонстрация
4. Что такое эмбеддед? Rasberry Pi, Arduino: любительская микроэлектроника Часть более крупной системы Должно выполнять единственную задачу Центральная часть — микропроцессор
5. Где используются? Всевозможные бытовые устройства В автомобиле — ~80 модулей В смартфонах и ноутбуках как вспомогательные модули Билеты, ключи
6. Как выглядят?
7. Требования Проще контроллер — меньше стоимость Меньше требования к другим частям — опять же, меньше стоимость Энергопотребление: беспроводные датчики должны работать годами Кастомизация контроллеров под задачи
8. Ограничения, ограничения Способность загрузить Linux — исключение, а не правило Arduino Uno 16MHz 32K Flash 2K RAM Maple Leaf 72MHz 128K Flash 20K RAM Raspberry Pi 700MHz 512M RAM
9. Существующие решения Си. Иногда — ассемблер. Разработка: долго и дорого. Тесты очень важны, но тестировать сложно. Попытки: mruby, espruino, uJ, megapython, pymite, ... Отдельно про mruby.
10. Что не так с альтернативой Виртуальная машина Нет низкоуровневых операций Разработчику все равно нужно знать внутренности VM, Си и ассемблер. Нет реального времени
11. Программирование для встраиваемых устройств
12. Си: 1973 Маленький, простой в реализации компилятор Легко портировать на другие платформы Нет: замыканий, метапрограммирования, ООП, GC, модулей, стандартных способов сборки и тестирования...
13. Си: 2013 GCC 4.8: 2000 KLOC (C/C++) / 7300 KLOC LLVM+Clang 3.3: 780 KLOC Портирование: новый бекенд для существующего компилятора Всё еще нет: замыканий, метапрограммирования, ООП, GC, модулей, стандартных способов сборки и тестирования...
14. Давайте писать на Ruby!
15. Foundry Статически компилируемый диалект языка Ruby Область применения — системное программирование, встраиваемые устройства Компилируется в машинный код Можно использовать большинство высокоуровневых конструкций Ruby Не нужно писать на Си или ассемблере
16. Как компилировать Ruby Статическая типизация Автоматический вывод большинства типов
17. Как работает компилятор Исходник → виртуальная машина → оптимизатор Foundry → оптимизатор LLVM → машинный код Оптимизатор Foundry: классы, методы, … Оптимизатор LLVM: память, регистры, ...
18. Тестовая плата Foundry
19. Демонстрация
20. Foundry как продукт Коммерческий компилятор, открытая стандартная библиотека Кроссплатформенный, написан на OCaml Альфа-версия: скоро! Единственный способ получить релиз или плату — записаться на сайте http://foundry-lang.org/
21. Что дальше? http://foundry-lang.org Подписывайтесь, чтобы получить первые сборки Foundry — позже в этом году. Или демо-платы. Мы будем раздавать демо-платы. Я отвечу на ваши вопросы после доклада. Примеры и stdlib по адресу: https://github.com/evilmartians/foundry-lib
22. Минутка рекламы В нашу милую секту нужны адепты. surrender@evilmartians.com
23. Первые версии только подписчикам: http://foundry-lang.org whitequark@whitequark.org @evilmartians