了解 Haskell (<-) 运算符

Question

我在https://rosettacode.org/wiki/Zebra_puzzle#LP-like_version 研究代码时有些困惑。

这是该代码中发生的事情的一个最小示例。

import Control.Monad
import Data.List

values :: (Bounded a, Enum a) => [[a]]
values = permutations [minBound..maxBound]

data Nation = English | Swede | Dane
  deriving (Bounded, Eq, Enum, Show)

data Color = Red | Blue | Green
  deriving (Bounded, Eq, Enum, Show)

answers = do

  nation <- values
  begin nation English

  color <- values
  end color Red

  return $ zip nation color

  where
    end xs x = guard $ last xs == x
    begin xs x = guard $ head xs == x

main :: IO ()
main = do
    forM_ answers $ (\answer ->  -- for answer in answers:
      do
        mapM_ print answer
        putStrLn "----" )
    putStrLn "No more solutions!"

对我来说神秘的是 do 块中发生的事情。

我从各种来源了解到a <- b 运算符执行b 操作并将其绑定到a。但是这里的动作到底是什么？

我以为它是values，但如果我注释掉begin 和end 函数调用和定义，那么haskell 就不再知道如何处理values。我想这是因为他们定义中的相等性测试是让 haskell 推断类型的原因（我错了吗？）。

1. 在那种情况下，是的动作到底是什么？
2. 还有values 如何知道将permutations 应用于哪个有界类型？这部分似乎很神秘。
3. 最后，如果我想保持不变 代码如上，但修改它列出所有排列（不仅仅是 满足begin 和end) 我该怎么做？

Answer 1

您可以非常机械地将do 表示法转换为列表理解表示法：

answers = [ zip nation color
          | nation <- values, head nation == English
          , color <- values, last color == Red
          ]

我真的不喜欢 head 和 last 的业务。