「分かりそう」で「分からない」でも「分かった」気になれるIT用語辞典

順番に見ていきましょう。
まずは予備知識として「プログラミング言語」と「関数型プログラミング」について簡単に説明します。
「そんなの説明されなくても知ってるよ！」な人は適当に読み飛ばしてください。

プログラミング言語は「プログラムの元ネタ（ソースコード）を書くときに使う言葉」です。

一般的なプログラムというのは、まず人間語で元ネタを書き、それをコンピュータさんが分かる言葉に翻訳することで完成します。



この「元ネタ」を書くときに使う言語がプログラミング言語です。



関数型プログラミングは「プログラミング言語の分類のひとつ」です。
具体的にどんなものかは、他のところで頑張って勉強してください。
私も他人様に説明できるほど理解できていません。



以上を踏まえて

関数型プログラミングに分類されるプログラミング言語

が「関数型言語」です。
そのまんまと言えば、そのまんまな説明ですね。

なんとなく分かると思いますが、実際に「関数型言語」という名前のプログラミング言語があるわけでは ありません。
「関数型言語」もプログラミング言語の分類を表す名称です。

私も詳しくは知りませんが、LISPとかMLとかOcamlとかHaskellとかScalaとかが関数型言語に分類されるようです。
実際に触ってみるのが手っ取り早いと思います。