再帰を全く使わない関数型言語ってどんなものがありますか?