言語仕様として関数に参照透過性を持たせているのが関数型言語だよ