正如我的 previous question 中所解释的那样,如果节点上没有某种独特的标签,则不可能区分使用打结策略制作的两个图。以二边图为例:
data Node = Node Int Node Node
square = a where
a = Node 0 b c
b = Node 1 a d
c = Node 2 a d
d = Node 3 b c
由于需要手动编写标签,因此以这种方式编写square
有点不方便且容易出错。这种模式通常需要一个 monad:
square = do
a <- Node b c
b <- Node a d
c <- Node a d
d <- Node b c
return a
但这也无法完成,因为 monad 是连续的。有没有方便的方法来写喜结图?
最佳答案
{-# LANGUAGE RecursiveDo #-}
import Control.Monad.State
type Intividual a = State Int a
data Node = Node Int Node Node
newNode :: Node -> Node -> Intividual Node
newNode a b = state $ \i -> (Node i a b, succ i)
square :: Node
square = (`evalState`0) $ mdo
a <- newNode b c
b <- newNode a d
c <- newNode a d
d <- newNode b c
return a
关于haskell - 有什么办法可以方便地使用打结策略来表达图形吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33160531/