haskell - 为什么这是一个无效的 eta 转换？

Question

我正在用 haskell 解决一个非常基本的问题。我试图计算字符串中小写字母的数量。我的解决方案是这样的

import Data.Char

lowercaseCount :: String -> Int
lowercaseCount x = length $ filter isLower x

我正在查看 lowercaseCount 的实际实现，发现它似乎应该能够减少 eta。我试过了

lowercaseCount = length $ filter isLower

但是 GHC 对我大吼说

Couldn't match expected type [Char] -> Int with actual type Int

我想知道为什么这种 eta 缩减是非法的，以及是否有办法使这个函数能够采用 eta 缩减形式。

Answer 1

lowercaseCount x = length $ filter isLower x

表示

lowercaseCount x = length (filter isLower x)    -- (1)

同时

lowercaseCount = length $ filter isLower

表示

lowercaseCount = length (filter isLower)

经过eta扩展变成

lowercaseCount x = length (filter isLower) x  -- (2)

现在应该很明显，(1) 和 (2) 是不等价的。后者将两个参数传递给 length，触发类型错误。