données Haskell graphique de représentation de type

Question

je veux représenter un graphique dans Haskell de la manière suivante:

Pour chaque nœud Je souhaite stocker sa valeur et une liste de noeuds adjacents. Le problème que je rencontre des difficultés est que je veux que les nœuds adjacents soient stockés comme références aux autres nœuds. Par exemple, je souhaite que le nœud ny soit stocké sous la forme ("NY" (l p)) où l et p sont des nœuds adjacents, et non pas ("NY" ("London" "Paris")).
J'ai essayé quelque chose comme ceci:

data Node a = Node { value :: a 
        , neighbors :: [Node a] 
        }deriving (Show) 

let n1 = Node {value=1, neighbors=[n2]} 
let n2 = Node {value=1, neighbors=[n1 n3]} 
let n3 = Node {value=1, neighbors=[n2]} 

Mais je reçois en erreur let. Qu'est-ce que je fais mal ?

Answer 1

Deux problèmes:

1. let est une forme d'expression et au plus haut niveau du compilateur attend un formulaire de déclaration.

2. Vous avez besoin d'un simple nid de fixations; En utilisant trois let, vous avez divisé les définitions en trois portées distinctes.

Le code suivant compile, et quand je demande n1, j'obtenir une copie papier de chaîne infinie comme prévu:

module Letnest 
where 
data Node a = Node { value :: a 
        , neighbors :: [Node a] 
        } deriving (Show) 

n1 = Node {value=1, neighbors=[n2]} 
n2 = Node {value=1, neighbors=[n1, n3]} 
n3 = Node {value=1, neighbors=[n2]} 

Answer 2

Je ne représenterait pas un graphique de cette façon. Stockez les noeuds dans une carte ou un tableau et faites-y référence par leurs touches au lieu de pointer directement sur eux. Ce serait beaucoup plus facile de sauvegarder, charger, maintenir et travailler avec.

Pour certains problèmes avec votre représentation actuelle:

Reid Barton a commenté:

Notez que n1 et n3 sont totalement impossibles à distinguer (car ils ont la même définition) qui, en fonction de votre application, peut être un problème avec cette représentation.

(il n'y a pas de comparaison is un Python la Haskell)

Norman Ramsey a remarqué:

j'obtenir une copie papier chaîne infinie