zipper

8El calor

1Respuesta

Cremallera estructura de datos para editor de modelo gráfico

Estoy escribiendo un editor gráfico para un "modelo" (es decir, una colección de cajas y líneas con algún tipo de semántica, como UML, los detalles de los cuales no importan aquí) . Así que quiero ten

haskell data-structures zipper 2012-09-09

---

7El calor

1Respuesta

Escriba errores con tipos existenciales en Haskell

Estoy luchando con tipos existenciales en mi programa. Creo que estoy tratando de hacer algo muy razonable, sin embargo yo no puedo pasar de la typechecker :( tengo un tipo de datos de este tipo imita

haskell typeerror typechecking existential-type zipper 2011-11-25

---

9El calor

1Respuesta

localmente la edición de un árbol puramente funcional

Vamos a definir un árbol T: A /\ B C /\ D E Digamos que se añade un nuevo nodo a E, produciendo T ': A /\ B C /\ D E \ G En un lenguaje mutable se trata de una tarea fác

tree immutability purely-functional zipper 2012-01-26

---

5El calor

1Respuesta

Transversal de árbol de posdatos con clojure.zip para editar nodos

Tengo un árbol representado como un vector anidado. Quiero tener una generalización de indexed para los árboles, que muestra el índice de cada nodo de este tipo, (visit 42); => [0 42] (visit [6 7]);

clojure tree traversal zipper 2010-07-30

---

9El calor

2Respuesta

Cómo navegar en el interior de un HUET cremallera

estoy leyendo Huet Zipper, no puedo entender el método go_up: let go_up (Loc(t,p)) = match p with Top -> failwith "up of top" | Node(left,up,right) -> Loc(Section((rev left) @ (t::right)),up);; La

scala haskell functional-programming ocaml zipper 2012-08-26

---