関数型言語で例示してるアルゴリズム本がほしい