有人可以解释下面的代码如何工作？

Question

我在codewar中进行编码挑战：编写函数avg，它计算给定列表中的数字平均值。 我的解决方案有效，但我不太了解其他解决方案。 谁能解释一下？

avg :: [Float] -> Float
avg = (/) <$> sum <*> fromIntegral . length

不应该是：

avg l = pure (/) <*> sum l <*> fromIntegral . length  $ l 

Answer 1

此代码使用(->) a类型的Applicative实例， 此处定义为：

instance Applicative ((->) a) where
    pure = const
    (<*>) f g x = f x (g x)

您可以通过将naryFunction <$> f1 <*> f2 <*> ... <*> fn视为“将相同参数应用于所有n个函数并将结果参数应用于naryFunction ”来解释此实现。

在你的情况下， (/) <$> sum <*> fromIntegral . length (/) <$> sum <*> fromIntegral . length可以被认为是\\ xs -> (/) (sum xs) ((fromIntegral . length) xs) ，它只是sum xs / fromIntegral (length xs) 。

您可以通过简单地使用(<*>)的定义扩展表达式来证明这一点：

avg = (/) <$> sum <*> fromIntegral . length
avg = fmap (/) sum <*> fromIntegral . length
avg xs = (fmap (/) sum) xs ((fromIntegral . length) xs)
avg xs = ((/) . sum xs) (fromIntegral (length xs))  -- fmap f g = f . g
avg xs = sum xs / fromIntegral (length xs)