Haskell howManyAboveAverage 无法匹配类型错误

Question

我是一名 Haskell 初学者，目前正在阅读 The Craft of Functional Programming 第 2 版。书中的一个练习要求我编写一个averageThree 函数，我已经这样做了，然后使用averageThree 函数编写一个howManyAboveAverage 函数。

我对如何做到这一点有点坚持，但我发现了一个类似的问题here。我使用了我的代码中给出的解决方案，但是我收到了一个解析错误 [已修复]。

这是我的新代码：

averageThree :: Int -> Int -> Int -> Float
averageThree a b c = fromIntegral (a + b + c) / 3

howManyAverageThree :: Int -> Int -> Int -> Int
howManyAverageThree a b c = length $ filter (> avg) the_three
    where avg = averageThree a b c
          the_three = fromIntegral <$> [a,b,c]

编辑：新错误
错误跟踪：

[1 of 1] Compiling Main             ( average.hs, interpreted )

average.hs:7:36: Not in scope: `<$>'
Failed, modules loaded: none.

我使用 ghci 7.6.3 版本进行编译。由于我正在遵循教科书示例，因此我需要保留函数签名。如何修改此代码以使我不再收到上述错误？

Answer 1

在 Haskell 中，indentation does matter。您需要匹配 where 子句中的缩进：

howManyAverageThree :: Int -> Int -> Int -> Int
howManyAverageThree a b c = length $ filter (> avg) the_three
    where avg = averageThree a b c
          the_three = fromIntegral[a b c]

编辑： 对问题进行编辑后，您需要更仔细地查看the_three 的定义：

the_three = fromIntegral[a b c]

fromIntegral 的类型为 :: (Integral a, Num b) => a -> b

如果你想让the_three 成为一个数字列表，你需要做一些事情。 首先，您的列表结构需要在其中包含,。其次，您需要将fromIntegral 映射到该列表的每个元素上。

import Control.Applicative((<$>))
....

the_three = fromIntegral <$> [a,b,c]