Сейчас в МК такая тенденция, что ОЗУ гораздо меньше ПЗУ. Правильно спроектированные структуры позволяют пользоваться этим соотношением во благо. И массивы при попытках создания "смешанных" типов (где есть ОЗУ и ПЗУ) доставляют те проблемы, о которых я говорил.
Для ПК всё более-менее, пока не начинается работа с пакетированием (протоколы сериальные всякие, например) - но его завсегда напильником приходится делать. Да и не так часто нынче Си для ПК применяем - есть столько всего... Мне вот C# нравится именно за то, что ты говорил об указателях и приведениях типов - там жёсткая типизация, указатели разрешены только в небезопасном режиме, а я им не пользуюсь - и без этого вкусно. Но на МК реальный C# врядли когда будет востребован (об экспериментах от M$ не говорю). Это разные миры;)