funzionale lista doppiamente collegata pura "True" e la condivisione di nodi

Question

Recently fui presentato a this OCaml code che a Haskell può essere scritta come:

data DL a = DL [a] a [a] 

create [] = error "empty list" 
create (x:xs) = DL [] x xs 

next (DL pr x (h:tl)) = DL (x:pr) h tl 
next _ = error "end of dlist" 

prev (DL (p:pr) x tl) = DL pr p (x:tl) 
prev _ = error "start of dlist" 

che mi era non una vera e propria lista doppiamente collegata implementazione, in quanto crea nuovo storage su attraversamento. OTOH c'è this Haskell code:

data DList a = Leaf | Node { prev::(DList a), elt::a, next::(DList a) } 

create = go Leaf 
    where go _ []  = Leaf 
     go prev (x:xs) = current 
      where current = Node prev x next 
        next = go current xs 

Possiamo dire che si tratta solo di questo codice che è vero dl-list?

Possiamo fare affidamento su questo codice per introdurre la vera condivisione dei nodi della lista dl, in modo che non venga creato alcun nuovo spazio di archiviazione durante la traversata?

è lo stesso nome variabile in Haskell sempre riferendosi al la stessa "cosa" o potrebbe separare le occorrenze dello stesso nome variabile riferimento alla copia separata della stessa cosa? (modificato per aggiungere enfasi).

Answer 1

Suggerirei che quest'ultimo è l'implementazione "corretta", sì.

Non ho i fatti con cui eseguire il backup, ma mi sembra, considerando la mia comprensione dell'implementazione di GHC, che quest'ultimo dovrebbe funzionare come ci si aspetterebbe che una lista a doppio collegamento funzioni.

Answer 2

È possibile visualizzare l'aspetto del layout di memoria della struttura dati utilizzando un pacchetto chiamato vacuum-cairo. Installa da hackage con cabal install vacuum-cairo allora si dovrebbe essere in grado di verificare la differenza tra le due strutture da qualcosa di simile nel GHCi:

> import System.Vacuum.Cairo 
> view $ create [1..5] 

Vi si possono vedere i nodi sono condivisi con il dlist dove come DL è di due liste con un elemento intermedio (come sottolineato, questa è una specie di chiusura lampo).

Nota: questo è specifico per GHC, un'implementazione diversa potrebbe rappresentare i dati in memoria in modo diverso, ma ciò sarebbe tipico.