这段代码应该将String理解为Chars列表，但它并不是

Question

startswith:: Eq u => [u] -> [u] -> Bool
startswith [] _ = True
startswith _ [] = False
startswith (x:xs) (y:ys)
    |  x==y = startswith xs ys
    |  otherwise = False

如果我输入[＆＃39; D＆＃39;，＆＃39; o＆＃39;] [＆＃39; D＆＃39;，＆＃39; o＆＃39;＆＃39; g＆ ＃39] 程序很开心，我变成了现实 如果我以[Do] [Dog]开头，我会得到假，但两者不应该相等吗？

Answer 1

您的Dog和startswith "Do" "Dog"不是字符串。如果您碰巧拥有构造函数type和type: ['store', 'school']的数据类型，那么它们将是该数据类型的列表。否则它没有任何意义。你想做results