Haskell中[String]的模式匹配

Question

我正在学习函数式编程的入门课程，其中我们使用Haskell。练习的一部分是为输入字符串编写解析器。

然而，我无法解决以下错误，或者得到实际发生的事情。

Parser.hs:29:71:
Couldn't match expected type `String' with actual type `Char'
In the first argument of `readPoint', namely `start'
In the expression: readPoint start
In the expression:
  (readLines track, readPoint start, readLine finish)

错误来自这一行：

readTrack str = parseTrack (lines str) where
    parseTrack (start : finish : track) = (readLines track, readPoint start, readLine finish)

我期望发生的是，输入字符串被拆分成一个行列表，并传递给parseTrack。然后，parseTrack将使用模式匹配来命名列表中最前面的两个字符串（行）和其他字符串。

然而，我认为正在发生的是finish是列表中的顶部元素，start从该字符串中被分配了顶部字符。

我真的很想知道如何解决这个问题以及实际发生了什么。

谢谢！

解析器。hs

module Parser where

import Types

readFloat :: String -> Float
readFloat str = case reads str of
    [] -> error "not a floating point number"
    (p,_):_ -> p

readInt :: String -> Int
readInt str = case reads str of
    [] -> error "not an integer"
    (p,_):_ -> p

readPoint :: String -> Point
readPoint str = parsePoint (words str) where
    parsePoint (x : y : _) = (readInt x, readInt y)

readLine :: String -> Line
readLine str = parseLine (words str) where
    parseLine (x1 : y1 : x2 : y2 : _) = ((readInt x1, readInt y1), (readInt x2, readInt y2))

readLines :: String -> [Line]
readLines str = parseLines (lines str) where
    parseLines (line : rest) = readLine line : parseLines rest

readTrack :: String -> Track
readTrack str = parseTrack (lines str) where
    parseTrack (start : finish : track) = (readLines track, readPoint start, readLine finish)

类型。hs

module Types where

type Vector2D   = (Int, Int)
type Point      =  Vector2D
type Line       = (Point, Point)
type Velocity   =  Vector2D

type CarState   = (Position, Velocity)
type Position   =  Vector2D
type Trace      = [Position]

type Track      = ([Line], Point, Line)

Answer 1

UPD。哦，对不起，我没有理解曲目意味着多个曲目，必须是[String]类型。因此，AndrewC的答案更合适

因为在haskell中，模式（x:xs）意味着如果x有类型a，那么xs必须是类型[a]你在parseTrack中的模式意味着类似于（a:a]）的类型
编译器要计算类型a，首先在右边看到的是读线磁道。FuncreadLines具有类型字符串-

parseTrack (start : finish : track : _)

Answer 2

变量track实际上是一个单行列表，而不是一个包含'\n's的字符串。由于您已经将其拆分为行，因此您可以将readLine映射到它上面，给出：

readTrack str = parseTrack (lines str) where
    parseTrack (start:finish:tracks) 
                     = (map readLine tracks, readPoint start, readLine finish)

这里的跟踪:: [String]，这就是为什么您可以将映射readLine放在它们上面-您不需要使用readLines将其首先拆分为行。（你可以看出这是一个列表，因为它是：右手边的最后一件事。）

你说

然而，我认为正在发生的是finish是列表中的顶部元素，start从该字符串中被分配了顶部字符。

发生的事情是：因为您要求将readLines跟踪作为第一个输出，Haskell从那里开始，并且由于您声明

readLines :: String -> [Line]

这意味着track必须是一个字符串——这是readLines唯一能处理的事情。

首先，您需要记住，：左侧有一个元素，右侧有一个列表，因此

3:4:stuff

东西必须是[整数]，因为它在某些整数元素的右侧。同样，

c:"a string"

表示c必须是字符，因为字符串=[Char]。

在您的代码中，我们已经计算出，track是一个字符串，这意味着当您编写

(start : finish : track)

start和finish都必须是可以放在字符串前面的元素，因此start和finish都必须是Char。

Haskell然后查看您的代码readPoint start，但是因为计算出start具有Char类型，但是

readPoint :: String -> Point

它抱怨Char和String不匹配。

我想你犯了这个错误，因为你忘记了readLines只需要一个字符串，但是它（从名字来看）应该很高兴地需要一个字符串列表。您的parseLines看起来做了类似的事情，但是它需要一个字符串列表，所以可以处理，而readLines需要一个带有换行符的字符串，所以不能处理列表。