2013-01-01 50 views
1

我想給Martin Erwing的歸納圖實現一個鏡頭。但是,對於Haskell的類型系統,我還是個新手,特別是在定義抽象數據類型時。我希望有人能夠提供一個在Haskell中實現圖形的方法的清晰,近乎平凡的例子。在Haskell中實現電感圖

這裏的the documentation behind ithis paper

感謝

+0

你有什麼這麼遠嗎? – jozefg

+0

我有[LEdge Weight]和[Node()]。我想製作一張無向圖,加權圖。 現在,這個庫爲您提供了一個帶有所有函數trappings的Graph類型類,但是它沒有定義一個代數數據類型。我真的需要定義自己的代數數據類型'gr'並將其綁定到Graph類型類型嗎? –

+1

Data.Graph.Inductive.PatriciaTree中有一個實現 - http://hackage.haskell.org/packages/archive/fgl/5.4.2.4/doc/html/src/Data-Graph-Inductive-PatriciaTree.html –

回答