caxapa.ru :: Я C++ в большом программировании то не люблю, там пишу на C/Go/ADA изучаю раст. А в микроконтроллер его тащить такое... луче уж ADA SPARK. Под кресты нет толком формальной верификации

OlegPowerC (27.02.2020 02:32, просмотров: 632) ответил fk0 на 32-битность позволяет полноценно программировать на C/C++. 16-битность -- ограниченно. 8-битность -- практически никак, очень ограниченно.

Я C++ в большом программировании то не люблю, там пишу на C/Go/ADA изучаю раст. А в микроконтроллер его тащить такое... луче уж ADA SPARK. Под кресты нет толком формальной верификации

Ответить

- Под ADA - для русского заказчика или таки для Пентагона? - Kpoк(27.02.2020 10:29)
  - Язык Ада распространяется по баллистическим траекториям. - fk0^{легенда}(27.02.2020 23:18)
    - Говорят, у нас Oberon имеет такую же тенденцию. - Evgeny_CD^{Архитектор}(28.02.2020 00:00)
  - ADA уже умеет многое, но ее по прежнему игнорируют. Под STM32 много проектов. Так же есть поддержка RISC-V - OlegPowerC(27.02.2020 11:33)
    - Уточняю вопрос: это личный выбор языка в силу удобства (пристрастия) или требование заказчика? - Kpoк(27.02.2020 12:02)
      - Личный конечно. И с ним пока тяжело - но все впереди, у Ады как раз в Embeded есть потенциал - OlegPowerC(27.02.2020 12:04)
- A под Go, Ada, C есть что ли, верификация эта? "Мамой клянус"? C++ позволяет хотя бы не вошкаться руками с адресами, битами и байтами и наделать меньше ошибок, в основном логических. А в голом C всё отлаживать нужно, каждую мелочь (которая либо fk0^{легенда}(105 знак., 27.02.2020 10:11)
  - Frama-C , gnatprove . Конечно есть. В C++ тоже есть уже контракты но это пока ещё совсем начало длинного пути, а пока Rust уже в Embeded.... - OlegPowerC(27.02.2020 11:30)
  - т.е. меня даже поправят, если у меня указатель в массиве вылезет за его размер? - Лaгyнoв(27.02.2020 10:29)
    - На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например. - OlegPowerC(27.02.2020 11:35)
    - Бензоколонка человеческим голосом сообщит. То есть в голом Си она тупо зависнет, а тут что-то пробормочет, а потом зависнет :-) - SciFi(27.02.2020 10:35)
      - ну говорушечный модуль у меня есть. Если вставлю в HardFault_Handler фразу, то да. :-) - Лaгyнoв(27.02.2020 16:30)

Микроконтроллеры