練習問題 4.2.7

reverse (reverse xs) = xs
という表明を再考しよう. 以下が成り立つので,この表明は有限のリストだけではなく,すべてのリストについて証明できているように見える.


reverse (reverse ⊥) = reverse ⊥ = ⊥

xs
上の帰納法により証明しようとすると,
の場合および
[]
の場合には成り立つが,
x:xs
の場合にはなりたたない.違いは無限リストxs = ⊥と考えた点にある.