'x'被定义为'y'，但编译器无法将'y'与'x'匹配，为什么？

Question

我有一个类型定义为这样：

data People = People [[String]]

和看起来像这样一个函数定义：

myFunction :: ([String], People) -> (Int, Int) -> People 
myFunction first_tuple second_tuple = filter (myPredicate (fst second_tuple) (fst first_tuple)) (snd first_tuple) 

这给了我下面的错误：

error: 
* Couldn't match expected type `[[String]]' 
       with actual type `People' 
* In the second argument of `filter', namely `(snd first_tuple)' 

这有我真的难倒，因为我试图尽可能明确与我的括号和People是明确的y定义为[[String]]。是什么导致这种情况，为什么是这种情况？

这里是myPredicate类型签名：

myPredicate :: Int -> [String] -> [String] -> Bool 

Answer 1

首先函数名以及变量名已经开始与小写字母。所以

• MyFunction =>myFunction
• MyPredicate =>myPredicate

正如你定义

myPredicate :: Int -> [String] -> [String] -> Bool 

的 myPredicate第三个参数应该是 [String]，在这里提供一个 People时您使用该功能。 您可以使用此功能与filter :: (a -> Bool) -> [a] -> [a] - a是专门[String]这样的filter第二个参数必须是[[String]]但您提供People这是不同的东西。

现在，你必须在函数定义

myFunction :: ([String], People) -> (Int, Int) -> People 
myFunction (strs,People ps) (x,_) = filter (myPredicate x strs) ps 

编写自定义filterPeople功能3个选项

1. 变化data People..到type People = [[String]]

2. 使用模式匹配，其中

   filterPeople :: ([String] -> Bool) -> People -> People 
   

Answer 2

People根据[[String]]定义，但与[[String]]不相同也不可互换。

数据类型声明创建一个与所有其他类型不同的类型。在这种简单的情况下，People可以被认为是包装和标记的[[String]]。你需要明确的包装和解包以便从People到[[String]]并返回。

简单地说，在包装操作的拼写People：

p = People [["Mary", "Smith"], ["John", "Starke"]] 

和unnwrapping与模式匹配来完成：

printPeople (People ppl) = print ppl 

如果你想被定义为一些其他命名类型类型，使用类型声明：

type People = [[String]] 

在这种情况下，People与[[String]]完全同义。