这是如何阻止工作的？

Question

我刚开始学习Haskell在几个星期前，我看到了这一点：

moves = do 
    f <- [(+), subtract] 
    g <- [(+), subtract] 
    (x, y) <- [(1, 2), (2, 1)] 
    [f x *** g y] 

我还没有看到一个do块之前，这是一个解决骑士巡逻问题的一部分，在list结束..有人可以解释它是如何工作的？

Answer 1

你必须解除符号。首先开始写下类型：

import Control.Arrow 

moves :: [(Integer, Integer) -> (Integer, Integer)] 
moves = do 
    f <- [(+), subtract] 
    g <- [(+), subtract] 
    (x, y) <- [(1, 2), (2, 1)] 
    [f x *** g y] 

所以我们在[]（名单）单子。

查找Monad []定义：

instance Monad [] where 
    m >>= k    = foldr ((++) . k) [] m 
    m >> k    = foldr ((++) . (\ _ -> k)) [] m 
    return x   = [x] 

并翻译做记号结合并返回：在他们的定义而言

moves = 
    [(+), subtract] >>= \f -> 
    [(+), subtract] >>= \g -> 
    [(1, 2), (2, 1)] >>= \(x,y) -> 
    [f x *** g y] 

然后，终于，改写结合：

由return上榜

的

定义>> =的>> =的>>

moves = 
    foldr ((++) . (\f -> 
     foldr ((++) . (\g -> 
       [(1, 2), (2, 1)] >>= \(x,y) -> 
       return (f x *** g y)) 
       ) [] [(+), subtract] 
      )) [] [(+), subtract] 

定义=

moves = 
    foldr ((++) . (\f -> 

      [(+), subtract] >>= \g -> 
      [(1, 2), (2, 1)] >>= \(x,y) -> 
      return (f x *** g y) 

      )) [] [(+), subtract] 

定义

moves = 
    foldr ((++) . (\f -> 
     foldr ((++) . (\g -> 
      foldr ((++) . (\(x,y) -> return (f x *** g y)) 
        ) [] [(1, 2), (2, 1)] 
       )) [] [(+), subtract] 
      )) [] [(+), subtract] 

撤消返回：

moves = 
    foldr ((++) . (\f -> 
     foldr ((++) . (\g -> 
      foldr ((++) . (\(x,y) -> [f x *** g y]) 
        ) [] [(1, 2), (2, 1)] 
       )) [] [(+), subtract] 
      )) [] [(+), subtract] 

所以你看到它在两个元素列表上的嵌套。 展开折叠留给读者练习:)