Их больше же )
ФП, ООП - тоже парадигмы.
Можно какую-нибудь отсылочку на объяснение, что ООП это расширение ФП?
Можно про связь. Можно считать класс зависимой парой из индуктивной и предикативной частей, где индуктивная получается путём произведения сумм пачек ( идентификатор -> тип) , а предикативная - некий предикат которому должно это дело подчиняться.