> отладки, точно так же и такого же рода внезапный SIGSEGV в языке типа C.

Как человек прибивший немало SIGSEGV имею заметить что чаще всего в си все достаточно просто и понятно. Вот плюсы дебажить - это да, может вынести мозг.

> Если тебе мешает строгая типизация, значит ты не знаешь, что ты делаешь.

Тут вопрос в том можно ли ее оверрайднуть когда это становится нужно и насколько это сложно. Си в этом плане неплохим балансом вышел: ныть варнингами будет, заткнуть их можно, если так реально нужно. А если хочется по быстрому проверить идейку, на варнинг можно даже на свой страх забить.

> Ну, например, тебе никогда не нужен массив, который может миксовать элементы действительно
> разных типов, таких что вообще совершенно разных.

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

> Если есть массив, то его элементы имеют между собой что-то общее, а это значит, что
> их можно объединить одним типом

А нифига. Поэтому сишники придумали void. Он специфичный, но иногда все-же нужен. И позволяет как раз не знать заранее какой тип. Этой бритвой можно порезаться, но запрет на использование опасных инстурментов - для детей и умственно неполноценных.