Михаил Потанин

На мой взгляд выжная книга - "Дизайн и эволюция языка C++" Страуструппа. Она хорошо тем, что описывает мотивацию принятия тех или иных решений, которые в этом языке часто бывают странными.
Но я не уверен, что C++ полезен в embedded. Лучше осваивать Rust.

Обычно использует C, C++, питон и js. Очень редно Lisp и Java.
Но правильнее было бы использовать Rust, Julia, Purescript и Scala.

Мне была полезна "Дизайн и эволюция языка C++" Страусртуппа. Она, конечно, устаревшая, но там описаны мотивации тех или иных фич языка, без знания которых его сложно понять. После нее уже можно искать что-то по современным стандартам.
Но я не уверен, что C++ подходящий язык для новичка.

Haskell, Prolog.

По возможности, выделяйте на стеке. Выделять в куче то, что можно выделить на стеке стоит если приложение сильно многопоточное, не 64-битное или используется без MMU.
Если не получается выделить на стеке (Rust об этом сообщит ошибками во владении), то выделяйте в куче.

На C++ лучше не смотрите - там слишком много сложностей.

После изучения C++ саое оно заняться изучением Rust!

Основное нарушение в чужем коде, которое очень мешало мне мешало когда я программировал на ОО-языках - игнорирование принципа подстановки Лисков.
То есть код, корректно работающий с объектом базового класса, должен так же корректно работать с отъуктом класса-наследника.
Пример нарушения - SSL-сокет в библиотеке Qt унаследован от простого сокета, но для корректного завершения соединения требует других плясок с бубном.

Scala, F#, Haskell.
Писать легко, работает относительно быстро.
Учить сложнее, но оно того стоит.

На сколько я знаю, биндингов к OpenCV еще нет. И управление памятью в OpenCV довольно таки запутанное, что мешает разработать хорошие биндинги. Если ресурсов системы хватает, для компьютерного зрения можно использовать Julia или Scala - к ним необходимые биндинги есть.
Для работы в ограниченных ресурсах, типа однокристальных компьторов на ARM, Rust подходит лучше всего. Если смириться со сложностью интелгации с OpenCV, то от C/C++ можно отказываться.

Код, по сравнению с C++, конечно, сократится, но в скорости разработки много выиграть не получится. "Владение" требует более тщательного продумывания, которое отнимает время.
Ключевая фишка Rust - надежность. Там сложно сделать ошибку, которая потребует сложной отладки и может пролезть в продакшен. Так что проекты с длительным жизненым циклом лучше начинать на нем, несмотря на нестабильность компилятора. Если программу не планируется длительное время поддерживать, то скорее всего выгоднее остаться на C++.

Не оправдано. Только если в институте сдавать или в унаследованном проекте разбираться.
Язык, конечно, с большими возможностями, но неоправданно сложный.
Если интересно низкоуровневое программирование, имеет смысл изучить чистый C и смотреть в сторону Rust.
Если интересует обобщенное программирование - стоит изучить Scala.
В остальных областях от C++ вообще ни какого толку.

А третьего не дано?
За C++ стоит браться только если не хватает памяти или требуется высокое быстродействие и предсказуемость времени выполнения. И то стоит хорошо подумать.
Но можно найти кучу языков лучше питона.