Обеспечит ли этот с-подобный язык, используемый на платформе ST Nucleo полное использование всех возможностей МК?
C как раз является тем языком, который позволяет эффективно использовать ресурсы микроконтроллера. Хотите ещё большего контроля - используйте ассемблер, но если проект большой - поддерживать программу на ассемблере очень сложно. Особенно спустя пару месяцев после её написания.
Борьба за "ресурсы" в МК была актуальна лет 15 назад, сейчас дешевый чип дуйни за 50 руб\шт. имеет на борту мягко говоря достаточно памяти и всего прочего для решения 99% существующих задач. Сам же "язык Ардуино" и есть самый обычный C, просто так же как и STM имеет кучу сахара в виде макросов и прочего. Эффективность расходования ресурсов напрямую зависит от кривизны рук программиста, который пишет прошивку.