Тут вот неожиданно подумалось об ООП доведённом до абсурда.
Что если в некоем императивном языке не будет возможности описывать функции, статические классы, статические методы, глобаные переменные (вне определения класса).
Сильно это усложнит жизнь?
Всё сказанное выше — личное мнение, если не указано обратное.