問題タブ [zipper]

指定されたリストが要素のペアであるかどうかを判断する関数を作成する必要があります。プログラムは、リストにちょうど 2 つの要素が含まれている場合は単に #t と応答し、含まれていない場合は #f と応答します。

と

私はまだSchemeにかなり慣れていないので、どんな助けでも大歓迎です! ありがとう！

ジッパーとして機能するSchemeで関数を書く必要があります-つまり、2つのリストを取り、2つのリストから「ジッパー」を作成します。

さらに、n 番目の位置にある各要素を取り、それらをペアにします。

私はSchemeにかなり慣れていないので、どんな助けでも大歓迎です! ありがとう！

これは、Haskell でジッパーを使用する例です。

これは、Clojure でジッパーを使用する例です。

これは、Haskell で Lens を使用する例です。

これは、Clojure で Lens を使用する例です。

現在、レンズとジッパーの両方が、ネストされたデータ構造をトラバースする機能的な方法であるようです。

私の質問は:レンズとジッパーの違いは何ですか? 特定のユースケースに適していますか?

Data.Tree.Zipper では、バラの木のジッパーのデータ型は次のとおりです。

_after と _before の情報は、_parents フィールドにも表示されるはずなので、冗長であるように思えます。(ノードの兄弟は、その親の子です。)

どうしてこれなの？都合上？

Haskell Wiki でZipperの記事を読んでいますが、次のようにup定義されているメソッドを理解できません。

パターンup (t, L c r)ではt、サブツリーにフォーカスcがありますか、現在のフォーカスに穴があるcコンテキストですか? ピントも上がればいいじゃないですか。

私はこのようなものが欲しい：

def unequalZip[A, B](a: Iterable[A], b: Iterable[B]) = Iterable[(Option[A], Option[B])]

None短い iterable の項目は、 sを使用して長い iterable の項目と一致します

データを読み取る (ただし変更しない) ために、リストまたはツリーをたどる必要があるとします。イテレータまたはZipperのいずれかを使用できます。Zipperこの場合、不変性以外に利点はありますか?