zipper

20calore

2risposta

Zipper bidimensionale

Ispirato alla recente domanda sulle griglie 2D in Haskell, mi chiedo se sarebbe possibile creare una cerniera bidimensionale per tenere traccia di una posizione in un elenco di elenchi. Una cerniera u

haskell data-structures functional-programming multidimensional-array zipper 2012-01-18

---

9calore

2risposta

Come navigare all'interno di una HUET Zipper

sto leggendo Huet Zipper, non riesco a capire il metodo 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);; L

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

---

6calore

1risposta

stepping in cerniera con obiettivo `to`

Sono alle prese con lens e zippers. Prendere in considerazione sotto il codice eseguito in ghci > import Control.Lens > import Control.Zipper > > :t within (ix 1) $ zipper ([1,2,3] :: [Int]) > wit

haskell types lens zipper 2015-01-08

---

6calore

1risposta

: mappatura sull'ultimo breadcrumb

Ho riscontrato un problema utilizzando zippers e . Considero seguente esempio: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-} import Control.Lens import Control.Zipper data A = A

haskell types lens zipper 2015-01-08

---

7calore

1risposta

Errori di tipo con tipi Esistenziali in Haskell

Sono in difficoltà con tipi esistenziali nel mio programma. Penso che sto cercando di fare qualcosa di molto ragionevole comunque non posso andare oltre coontrollore dei tipo :( Ho un tipo di dati che

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

---

18calore

1risposta

Traduzione idiomatica di Scala delle cerniere di Kiselyov?

Oleg Kiselyov showed how to make a zipper from any traversable utilizzando continuazioni delimitate. Il suo codice Haskell è piuttosto breve: module ZipperTraversable where import qualified Data.Tra

scala haskell monads continuations zipper 2013-04-11

---

18calore

2risposta

Sono tutti tipi differenziabili Monadi

Dato un differentiable type, sappiamo che its Zipper is a Comonad. In risposta a questo, Dan Burton ha chiesto: "Se la derivazione fa una comonade, vuol dire che l'integrazione fa una monade? O è una

haskell monads zipper deriving 2014-12-03

---

5calore

1risposta

Traversal dell'albero postale con clojure.zip per modificare i nodi

Ho un albero rappresentato come vettore annidato. Voglio avere una generalizzazione indexed per alberi, mostrando l'indice di ogni nodo simili, (visit 42); => [0 42] (visit [6 7]); => [0 ; [

clojure tree traversal zipper 2010-07-30

---