在 Haskell 中重写嵌套 for 循环的好技术是什么？

Question

我正在学习 Haskell，目前正在尝试重写此代码：

  case class Coord(x: Int, y: Int)

  def buildBoard(coords: [Coord]): String = {
    var str = ""
    for (i <- 0 to 30) {
      for (j <- 0 to 40) {
        if (coords.exists(c => c.x == i && c.y == j))
          str += "x "
        else
          str += "o "
      }
      str += "\n"
    }
    str
  }

这为我正在编写的命令行游戏构建了一个简单的板。我可以重写它的最简单方法是什么？我不是在寻找任何表演性的东西

我使用元组来实现Coord类型：

type Coordinate = (Int, Int)
type Coordinates = [Coordinate]

可能的答案

我非常感谢那些提供帮助的人。我设法使用列表理解完成了工作。我的想法是摆脱之前代码的“迭代方法”。事实上，我想将一组“虚拟”坐标转换为一个字符串，这是我的做法：

type Coordinate = (Int, Int)
type Coordinates = [Coordinate]

Answer 1

正如您已经发现的那样，“嵌套循环”部分在很大程度上可以通过列表理解来完成。

但是原始代码中的所有其他内容也可以通过列表理解来完成！首先对外循环使用一个列表推导式：

Prelude> [ "foo" | i <- [0..3] ]
["foo","foo","foo","foo"]

你真的不需要处理换行符，只需使用标准unlines函数

Prelude> unlines [ "foo" | i <- [0..3] ]
"foo\nfoo\nfoo\nfoo\n"

现在是内循环。这应该会产生单个字符串/列表，因此您可以concat使用单个列表，但同样有一个标准函数，它还会添加您始终放置在两个字符之间的空格：

Prelude> putStrLn $ unlines [ unwords ["a" | j <- [0..4]] | i <- [0..3] ]
a a a a a
a a a a a
a a a a a
a a a a a

最后我们可以使用条件来决定使用什么字符：

Prelude> putStrLn $ unlines [ unwords [if i>j then "x" else "o" | j <- [0..4]] | i <- [0..3] ]
o o o o o
x o o o o
x x o o o
x x x o o

现在让我们将所有这些包装在一个函数中：

createBoard :: Coordinates -> String
createBoard cs
 = unlines [ unwords [ if (i,j)`elem`cs then "x" else "o"
                     | j <- [0..40]
                     ]
           | i <- [0..30]
           ]