元の要素で始まる `iterate`の理由はありますか？

Question

時々iterateを使用しますが、結果のリストに 引数が必要なことはめったにありません。

ドキュメントから：

iterate f x == [x, f x, f (f x), ...] 

私はdrop 1それをすることができますが、私はこの1つのような基本的な機能を設計するための実装から良い理由（多分無料定理）の独立が存在するかどうかを疑問に思います。

Answer 1

反復関数アプリケーションの話をするとf^m(f^n(x)) == f^(m+n)(x)のようなアイデンティティは、すべての自然数mとnため を保持するように、f^0 == idを定義することが便利です。このことを念頭に置いて定義して

、最初の引数を含めることによってiterate満たし、次のアイデンティティを：

iterate f x !! n == f^n x 

Answer 2

あなただけiterate f xの出力を持っている場合は、簡単にしたいというものを得ることができます。しかし、[f x, f (f x),...]しかなければ、iterate f xを取得することはできません。詳しく知りたい場合は、オリジナルのxを知っている必要があります。したがって、正面にxをドロップすることは、正当な理由がないのに情報を失うことを意味します。