类型签名缺少附带绑定？

Question

首先,我意识到还有其他几个类似的问题已在此处提出并回答.我看着他们并没有得到任何东西,所以我再问一遍.

这是我的代码的相关部分:

titlesOfMoviesSatisfying :: (Movie -> Bool) -> [Movie] -> [Title]
titlesOfSatisying f movieDB = map check (zip movieDB (map f movieDB))

Movie和Title都是我刚才在代码中定义的数据类型.当我执行>> let b = map check(zip movieDB(map f movieDB))时,我得到:输入b作为[Title],这正是我想要的.我有:键入movieDB作为[电影]和:键入f作为电影 - >布尔.所以一切似乎都应该如此.但是当我尝试编译上面的代码时,我得到以下内容:

Example7.hs:65:1:`titlesOfMoviesSatisfying'的类型签名缺少附带的绑定失败,模块加载:无.

为什么这样,我该如何解决？

Answer 1

您拼错了函数的名称:

titlesOfMoviesSatisfying :: (Movie -> Bool) -> [Movie] -> [Title] 
titlesOfMoviesSatisfying f movieDB = map check (zip movieDB (map f movieDB))