Rust вместо Си для программирования ARM Cortex-M/Евгений Пономарев

InoThings++ 2019

Малый зал
4 апреля, 17:00

Тезисы и презентация:

В докладе рассмотрим, чем Rust лучше Си, посмотрим на примеры решения типовых firmware-задач, как подружить Rust-код с существующим (legacy), взглянем на состояние экосистемы и инструментов.
…
--------

[greeno]

Не знал, что фараон начал вести уроки по Rust'у

[КириллЧе-яы]

Очень грамотная речь докладчика. Информативное выступление. Браво!

[artur-lgwv]

"Язык ада пришел в наш мир благодаря военым США" звучит как начало фантастического хоррора))))

[aabdev]

Чтобы код был безопасным надо модульные тесты писать. Тогда и программировать дальше можно на Си.

[namefamily]

Пожалуй что это лучий доклад, все разобрано по полочкам, странно, что так мало просмотров.

[fleks]

"Язык Ада позволяет общаться с демонами". Тонкий программерский юмор

[adminkurumkan]

Спасибо организаторам за качественную запись и звук

[ooo.coreltd]

Хочется сделать суммирование двух чисел с насыщением? Увеличивай разрядность переменной, следи за переполнением. Или это тяжело современным программистам?

[aletyushov]

А как найти контакт Евгения? Хотим пригласить его выступить с докладом.

[misana]

1) Переполнение unsigned чисел не является UB :)
2)
> в Си и плюсах ... массивы выражены в виде указателей
Про плюсы точно неправда, как и про Си. Массив -- это отдельный тип языка, который хранит в себе информацию о его размере. Иначе бы тупо не работал сишный хак sizeof(arr) / sizeof(arr[0]). Просто семантика operator[] не подразумевает проверку границ массива.
В С++ это решается использованием std::array<T, N>::at, будет такая же ошибка рантайма
3)
> Это варнинг, а не ошибка
Да, правда, конечно. Но мне казалось собирать проекты с -Wall -Wextra -pedantic -Werror считается хорошим тоном, нет? Тогда код тоже не скомпилируется :)

[gunnargunaxe]

Си стандарт регламентирован очень чётко. Он остаётся неизменным с 99 года.

[michaeltitov]

Спасибо за доклад, Очень хорошо и кратко об основном,
С точки зрения строгости написания программы и общего подхода - это будущее программирования во многих областях,
Первый адекватный подход правильно писать программы изначально.
Кто то видел проект на Rust для ESP32?

[andresmonje]

Надо в начале своего пути изучить Си, что-то реализовать на нём, а только потом переходить на Rust. 😃

[hikistewart]

Блинский, MISRA это мисра, а не мирза.

[dmitryponyatov]

для IoT _важна стандартизованная сериализация_, возможно Rust может дать вариант

[ИльяОбломов-ря]

Как называется эта книга в конце и кто ее автор!?

[Anisimov_Yu_M]

Если пишу на Си, то всегда проверяю текст на АСМе

[alexeidubrovin]

Допустим пришёл к начальнику, мне достался проект от какой-то фирмы, которая запросила 1.5млн за возможность менять там настройки ip/mask/gw и возможность прошивки по сети, естественно их послали, мк stm32f745, в общем legacy, там столько всякой ерунды в коде, спрашиваю дайте пару месяцев вместо Си переведу на Rust, говорят а где мы потом, мля, найдём программиста который в твоём Rust разберётся?) переписывай на Си

[egorsozonov]

На 34 минуте ошибка. unsafe блоки НЕ позволяют делать как в Си, они отключают только часть проверок (по-моему, только боров-чекер, могу ошибаться).

[alex_goldear]

Вот концепция.., что нужно, чтобы был, кто-то, кто не даст "выстрелить себе в ногу", тут даже вопрос вообще отвлеченный от программирования.., но современные программисты и языки.., блээть ну это какой -то вообще пинсдец!