0

现在我对代码进行了一些改进，剪掉了一些东西，等等。
这是源代码：

import Prelude


{-- DEFINE THE TYPES --}
data Tile = Tile  -- the tiles of the map
    {char :: Char
    ,isBlocking :: Bool
    ,position :: (Int,Int)}

type Dungeon = [Tile]  -- the dungeon


{-- THE MAIN FUNCTION --}
main :: IO ()
main = do
    let theDungeon :: Dungeon
        theDungeon = mkDungeon 0 0 []
    writeFile "./test.log" $ show theDungeon


{-- DEFINE THE SIZE OF THE MAP --}
screenX = 80
screenY = 24

mapX = screenX
mapY = screenY - 4

{-- THE FUNCTIONS FOR THE DUNGEON --}
mkDungeon :: Int -> Int -> Dungeon -> Dungeon -- function for generating the dungeon
mkDungeon x y dungeon =
    if x > mapX  -- looks if the line isn't too long
        then mkDungeon 0 (y + 1) dungeon  -- it's too long, so make the next line
        else if y == 0  -- if it at the top
            then mkDungeon (x + 1) y $ dungeon ++ [Tile '#' True (x, y)}
            else if y > 0 && y < mapY  -- looks if the line is in the middle
                then if x == 0 || x == mapX  -- is it at the right or at the left
                    then mkDungeon (x + 1) y $ dungeon ++ [Tile '#' True (x, y)]
                    else mkDungeon (x + 1) y $ dungeon ++ Tile '.' False (x, y)]
                else if y == mapX  -- looks if it is at the bottom
                    then do mkDungeon (x + 1) y  $ dungeon ++ [Tile '#' True (x, y)]
                    else return $ dungeon :: Dungeon

所以现在，当我尝试编译它时，我变成了这个错误：

main.hs:42:26:
    Couldn't match type ‘[Tile]’ with ‘Tile’
    Expected type: Dungeon
      Actual type: [Dungeon]
    In the expression: return $ dungeon :: Dungeon
    In the expression:
    ...

据我了解，它试图返回一个列表的列表，但它不会导致：

mkDungeon :: Int -> Int -> Dungeon -> Dungeon

但如果我写

else return $ dungeon

相反，我收到此错误：

main.hs:42:26:
    Couldn't match type ‘[Tile]’ with ‘Tile’
    Expected type: Dungeon
      Actual type: [Dungeon]
    In the expression: return $ dungeon
    ...

当我在没有 的情况下编写它时$，我得到了这个：

main.hs:42:26:
    Couldn't match type ‘[Tile]’ with ‘Tile’
    Expected type: Tile
      Actual type: Dungeon
    In the expression: return dungeon
    ...

那么我怎样才能将它作为地牢类型返回呢？

4

4 回答 4

2 
main = do
    let theDungeon :: Dungeon 
    theDungeon <- mkDungeon 0 0 []
    writeFile "./test.log" $ show theDungeon

如果我们从中删除语法糖，我们会得到：

main =
    let
        theDungeon :: Dungeon
    in
        mkDungeon 0 0 [] >>= \theDungeon ->
        writeFile "./test.log" $ show theDungeon

错误消息抱怨的是该let块包含 的类型签名theDungeon，但没有实际定义。下一个问题将是mkDungeon 0 0 []产生一个 type 的值Dungeon，它不是一个 monad，所以你不能使用>>=（和扩展<-）它。

要theDungeon正确定义，您需要使用=而不是<-(<-用于从 monads 中“提取”值，并且使用>>=,=用于（和全局）绑定）并以它仍然是块let的一部分的方式缩进它。let所以：

main = do
    let theDungeon :: Dungeon 
        theDungeon = mkDungeon 0 0 []
    writeFile "./test.log" $ show theDungeon

或者你可以跳过类型签名，只写let theDungeon = mkDungeon 0 0 [].

于 2016-06-20T16:56:18.670 回答
0

所以另一个答案已经解释了你需要let x = ...用于正常值，并且只x <- ...用于单子动作。所以这是你的问题之一。

您也不do需要mkDungeon. 而不是

then do 
  dungeon : Tile '#' True (x,y)
  mkDungeon (x + 1) y

你想要类似的东西

then mkDungeon (x + 1) y (dungeon : Tile '#' True (x,y))

换句话说，将新地牢传递给对 的递归调用mkDungeon。但当然，这是错误的方式：新的瓷砖应该在操作员的左边(:)，而不是右边。

then mkDungeon (x + 1) y (Tile '#' True (x,y) : dungeon)

下一个问题是你有

data Dungeon = Dungeon [Tile]

这意味着如果x和是值，y那么zTile

Dungeon [x, y, z]

是一个Dungeon值，但是

[x, y, z]

本身不是。您声明的类型签名mkDungeon需要 aDungeon并返回 another Dungeon，但实际上它似乎正在尝试获取一个图块列表并返回另一个图块列表。

有两种方法可以解决此问题。一种是创建Dungeon一个单纯的类型别名而不是一个全新的类型：

type Dungeon = [Tile]

现在Dungeon和[Tile]是可以互换的，一个只是另一个的别名。或者，您需要在Dungeon所有地方插入：

mkDungeon x y (Dungeon ts) = ...
   ...then mkDungeon (x + y) y (Dungeon (Tile '#' True (x,y) : ts))
   ...
于 2016-06-21T09:17:20.273 回答
0

我解决了它。
正如您在代码
中看到的那样， 我通过以下方法解决了它：

... $ dungeon ++ [Tile ...]

也谢谢大家！它有很大帮助：D。

于 2016-06-22T17:30:40.260 回答
0

由于mkDungeon具有 的类型签名mkDungeon :: Int -> Int -> Dungeon -> Dungeon，并且Dungeon等价于[Tile]，因此该函数位于列表 monad 中。

return是为 monad 定义的函数，它将一个值提升到您正在使用的 monad 中。 return对于列表被定义为

return :: a -> [a]
return x = [x]

所以既然dungeonhas 类型Dungeon，当你将它传递给return你时，你会得到[dungeon]。这不是您想要的，并且与类型签名不匹配，这就是您收到错误的原因。

在这种情况下，您根本不需要使用 return，删除它应该可以解决您的问题。请记住，Haskell 中的 return 与命令式语言中的 return 完全不同。它不使用休假功能。

于 2016-06-21T21:10:36.803 回答