А нужно ли объектно-ориентированное программирование если все написано на Си?

Каким образом? Если вы не в силах понять элементарного: для этого надо пересказать если не весь учебник, то несколько его разделов.

На низком уровне подобное/общее выносится в системные библиотеки. ОС - это не единая прога, а куча мелких. В мелких и скриптах использовать ООП - бред. Написать игру без ООП - это только если в кружке программистской самодеятельности.

Зависит от масштаба и особенностей программы. Иногда типизация ни к чему. 

Другое дело, что без ООП при разработке, например, графического интерфейса иногда дубляж кода идет сильный. 

Учебник информатики средней школы?

Ваш уровень знаний понятен.

А он есть? Там ворд изучают, перевод в двоичную систему и вычисление количества информации. Т.е слово "информатика" для вас - это школьный предмет, а не компьютерная наука в принципе.

Есть такая вещь как архитектура компьютера, основы устройства ОС.

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

Сначала поинтересуйтесь на каком месте в общем рейтинге Pascal или Delphi сейчас. Потом говорите, что "убили".

В целом, я бы тут ответил, думаю, больше положительно, чем отрицательно

Ну в целом везде есть выгода от ООП, когда в программе оперируют объектами из реального мира, для этого оно и сделано, натягивать ООП на драйвера в целом бессмысленно

Да я тут конечно соглашусь, от масштаба многое зависит, пока программа помещается на пару экранов в целом да там все пофигу. Но если бы типизация была ни к чему, её бы не притащили в не типизированные языки. Типизация позволяет в том числе делать более простые и эффективные компиляторы и интерпритаторы, плюсом весь тул чейн который нужен для разработки упрощается и так далее. Это с виду как бы фигня не нужная.

Но если бы статическая типизация была так необходима, не было бы языков с динамической типизацией. Если так чесалось, всегда можно было проверить тип переменной уже внутри функции. И в случае чего выкинуться из нее.

К примеру? Понятный нейминг подключений не устраняет такие проблемы?