Question

and_函数的问题

“错误：解析格式为f1的错误”

 type Movie = (String, Double, String)

-- movies :: [(String, Double, String)]
movies :: [Movie]
movies = [ ("Green Book", 8.3, "Peter Farrelly")
     , ("Inception", 8.8, "Christopher Nolan")
     , ("Incredibles 2", 7.7, "Brad Bird")
     , ("The Dark Knight", 9.0, "Christopher Nolan")
     ]

imdbAtLeast :: Double -> Movie -> Bool
imdbAtLeast minRank (_, rank, _)
  | rank < minRank = False
  | otherwise      = True

director :: String -> Movie -> Bool
director expDir (_, _, dir)
  | expDir == dir = True
  | otherwise     = False

这是错误的功能

and_ :: (Movie -> Bool) -> (Movie -> Bool) -> Movie -> Bool
and_ (f1 param1) (f2 param2) (_, rank, dir)
  | f1 == director = (f1 param1 dir) && (f2 param2 rank)
  | otherwise      = (f1 param1 rank) && (f2 param2 dir)

这是and_函数的两个测试

and_ (director "Brad Bird") (imdbAtLeast 7.5) ("Incredibles 2", 7.7, "Brad 
Bird")
and_ (imdbAtLeast 7.5) (director "Brad Bird")  ("Incredibles 2", 7.7, "Brad 
Bird")

Answer 1

您对and_的呼叫不会直接看到director和"Brad Bird"；通过将director应用于"Brad Bird"（以及第二个参数类似），它得到结果的功能。

and_ :: (Movie -> Bool) -> (Movie -> Bool) -> Movie -> Bool
and_ f1 f2 (_, rank, dir) | ...

更大的问题是您无法比较函数是否相等。即使假设director本身作为一个不同的参数传递，您也无法检查它是否与director所引用的功能相同。

您想要的是简单地将前两个函数中的每个应用到第三个函数，并在结果中使用&&：

and_ :: (Movie -> Bool) -> (Movie -> Bool) -> Movie -> Bool
and_ f1 f2 m = f1 m && f2 m

f1和f2已经“知道”他们正在检查的Movie参数的哪一部分。

高阶功能参数

1 个答案: