略して関数型言語()ともいう。