哈斯克尔，再次。非法类型？ [关闭]

Question

我只是发布代码和编译错误。

module Mov where
import Data.List
import System.IO

mov = do putStr motion

motion :: [Char] -> [Int, Int] -> [Int, Int]
motion [] c ≃ c
motion (i : it) c = if i == 'L' || i == 'l' then putStr ((head c) +1, tail c) : motion it
else if i == 'U' || i == 'u' then putStr (head c, ((tail c) + 1)) : motion 
else if i == 'R' || i == 'r' then putStr (((head c) + 1), tail c) : motion 
else if i == 'D' || i == 'd' then putStr ((head c), ((tail c) - 1)) : motion it
 else "instrução invalida" putStr c

还有编译错误：

mov.hs:10:19:
Illegal type: ‘'[Int, Int]’ Perhaps you intended to use DataKinds

mov.hs:10:33:
Illegal type: ‘'[Int, Int]’ Perhaps you intended to use DataKinds

Answer 1

我不知道这段代码应该实现什么，所以很难朝着正确的方向纠正它。在问题中，您应该说明您的目标，以便提供一些背景信息。

我将直接指出代码中的一些错误。

motion :: [Char] -> [Int, Int] -> [Int, Int]

[Int, Int] 不是类型。如果你想要一个整数列表，只需使用[Int]；如果一对正好是两个整数，使用(Int, Int)。

motion [] c ≃ c

≃ 应该是 =。 （≃ 是怎么到达那里的？）

motion (i : it) c = if i == 'L' || i == 'l' then putStr ((head c) +1, tail c) : motion it
else if i == 'U' || i == 'u' then putStr (head c, ((tail c) + 1)) : motion 
else if i == 'R' || i == 'r' then putStr (((head c) + 1), tail c) : motion 
else if i == 'D' || i == 'd' then putStr ((head c), ((tail c) - 1)) : motion it
 else "instrução invalida" putStr c

首先，缩进很重要。 elses 应该比 motion ... 缩进更多。

其次，你不能在纯函数中使用putStr——除非你返回一个IO类型，否则不允许有副作用。

第三个tail c + 1 没有意义：列表的尾部是一个列表，而不是一个数字，所以你不能+1 那个。

第四，我会使用error "instrução invalida"的错误情况。

第五，有时你会递归调用motion而不带参数。

此外，在

mov = do putStr motion

你不能打印一个函数：为此提供一些参数。