> Это слишком смелое утверждение. Например в микроконтроллере у меня может тупо не быть RAM на два принципиально разных жирных массива - и тогда я хочу нечто, условно называемое мной "generic buffer".

Я не очень понял, что это за "generic buffer", но я могу привести другой пример: куча. Это ведь контейнер для объектов совершенно разных типов. Так ведь? Так. И кстати это хороший пример ущербности C, который не позволяет создать типизированную кучу, то есть API, который бы позволил работать с типизированными кусками памяти, а не с void*.

> А нифига. Поэтому сишники придумали void.

Ну да. Они не смогли придумать систему типов, которая бы покрывала 100% случаев, и поэтому они добавили костыль void на те случаи, когда система типов не справляется. То если это не к ним претензия -- они создавали C 50 лет назад, тогда ещё никто не знал, как надо создавать систему типов. И это C'шные особенности, а не фундаментальный закон существования языков со строгой типизацией.