まだまだ所有権の概念に慣れない今日この頃だが、とりあえずArc<T>でごまかしている。ともあれ、ようやくList上の高階関数が揃ってきた。今回の難所はflat_map。間にconcat関数を定義してやることでなんとか実装。 gist.github.com</t>

map関数も欠かせませんね。というわけで： gist.github.com ループで回すのはめんどくさいので、fold_rightで実装しました。

fold_leftができたので次はfold_rightもできるよね、というわけで。 gist.github.com

Listを作ったので次はfold_leftだよねー、というわけで書いてみた。しかし、型を合わせるのに結構手間取ってしまった… gist.github.com