俺はこの問題に二十年取り組んできたが、結論は出てる。
「作者が関数型と主張した」言語が関数型だ。

そもそも最初はシンプルだったものも、どんどんリッチに汎用的になるに連れ
元来の関数型とは乖離していっている。
特にこの１０年、今まではそれでも範囲内で拡張するすべを探していたのが
妥協する策を取るようになった。

汎用でリッチなプログラミング言語としてはその方がずっと都合が良いからだ。
したがって今の著名でここのスレ民が主に思い浮かべるような言語は関数型ではない。
強いて言えば、作者が「関　数　型」と主張しているという程度のこと。
個人的には「関数型」言語とはもはや「P」言語に近い。