フィルタ言語やクエリ言語ってだいたい関数型と言えてしまうんじゃないの？
別に新しい概念でもない気がする。