関数型言語が普及しない理由は知らないが、
手続き型、それもOOPが普及した理由は何となくわかる。
OOPって仕様書に書いてあることを上から文章のように記述するだけだもの。
OOP+メソッドのオーバーロードで自然言語にかなり近くなる。