> Стоящих проектов на функциональной парадигме не вижу вокруг, потому изучаю подопытных кроликов, т.е. ООП.

Я тоже не видел "стоящих на парадигме", знаю только что существуют методы наСТОйки проектов на всяких там березовых брульках и ореховых перегородках.
Хотя каждый выбирает в меру своего понимания, что на чем будет стоять, и чего оно будет стоить.

> IoC позволяет добиться слабой связанности - это ответ на сильную связанность ООП приложений.

Любой может прочитать на Википедии, что "инверсия управления" применяется для снижения связности.

Однако суть вы так и не поняли. "Инверсия управления" в общем случае к ООП не относится. "Инверсия управления" нужна потому, что сама императивная парадигма способствует быстрому росту связности. В то время как функциональная и декларативная парадигмы такими проблемами наделены гораздо в меньшей степени изначально.

Кроме того, как "инверсия управления", так и само ООП, легко выражаются в функциональном виде в случае необходимости.