zipper

7Hitze

1Antwort

Warum verwendet die Clojure-Reißverschluss-Implementierung verschiedene Typen und Datenstrukturen von Huets Reißverschluss?

Ich vergleiche Huet's original paper mit Clojure's implementation und versuchen herauszufinden, warum die Änderungen vorgenommen wurden. Ich bin ein Clojure-Neuling, also wenn ich falsch liege bei mei

8Hitze

2Antwort

Clojure Zipper von verschachtelten Maps TRIE Unterdrückung

Wie kann ich einen Clojure Reißverschluss für einen TRIE schaffen, durch verschachtelte Karten dargestellt, wurden die Schlüssel die Buchstaben.? Etwas wie folgt aus: {\b {\a {\n {\a {\n {\a {'$ '$}}}

17Hitze

3Antwort

Comonadisch finden alle Möglichkeiten, auf ein Gitter zu konzentrieren

{-# LANGUAGE DeriveFoldable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveTraversable #-} import Control.Comonad import Data.Functor.Reverse import Data.List (unfoldr) Zuerst einige Kon

9Hitze

2Antwort

Wie Ebene hoch in einem HUET Zipper

ich Huet Zipper gerade lese, kann ich die go_up Methode nicht verstehen: let go_up (Loc(t,p)) = match p with Top -> failwith "up of top" | Node(left,up,right) -> Loc(Section((rev left) @ (t::right))

23Hitze

2Antwort

Was sind die Unterschiede zwischen Brillengläsern und Reißverschlüssen? Diese

ist ein Beispiel der Verwendung eines Reißverschlusses in Haskell: data Tree a = Fork (Tree a) (Tree a) | Leaf a data Cxt a = Top | L (Cxt a) (Tree a) | R (Tree a) (Cxt a) type Loc a = (Tree a, Cxt

8Hitze

1Antwort

Zipper Datenstruktur für grafischen Modell Editor

Ich schreibe einen grafischen Editor für ein "Modell" (dh eine Sammlung von Boxen und Zeilen mit irgendeiner Art von Semantik, wie UML, deren Details hier keine Rolle spielen) . Ich möchte also eine D

48Hitze

3Antwort

Zipper zum Erstellen von XML-Anfragen?

Wie kann man eine XML Anfrage erstellen, die einer XSD entspricht, so dass die Anfrage gültig ist? Eine Möglichkeit wäre, die gesamte Anfrage zu erstellen und dann auf der XSD zu überprüfen. Gibt es e

6Hitze

1Antwort

Schritt in den Reißverschluss mit `to` Objektiv

Ich habe Probleme mit lens und zippers. Betrachten wir unter Code ausführen in ghci > import Control.Lens > import Control.Zipper > > :t within (ix 1) $ zipper ([1,2,3] :: [Int]) > within (ix 1) $

6Hitze

1Antwort

Zipper: Mapping über den letzten Breadcrumb

Ich habe ein Problem mit und lens gestoßen. Betrachten Sie folgendes Beispiel: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-} import Control.Lens import Control.Zipper data A = A

5Hitze

1Antwort

Postorder Baum Traversal mit clojure.zip, um Knoten zu bearbeiten

Ich habe einen Baum als verschachtelten Vektor dargestellt. Ich möchte eine Verallgemeinerung von indexed für Bäume haben, um den Index jedes Knotens wie dies zeigt, (visit 42); => [0 42] (visit [6 7