無法刪除的參數（自由點式的Haskell）

Question

我有這個功能刪除參數「e」的一個問題：

numocc e = map length . (map . filter . (==)) e 

功能檢查內部兩個元素的出現次數的數量維列表（列表中的列表）。所以你怎麼稱呼它，如下所示：

numocc 1 [[1, 2], [2, 3, 2, 1, 1], [3]]

Result : [1,2,0]

參數ê是最右邊等號的兩邊，並且在任何參數不包住。所以，我應該能夠將其刪除，以得到一個免費的點對點功能：

numocc = map length . (map . filter . (==)) 

但是我得到這個錯誤：

Type error in application Expression : map length . map . filter . (==) Term : map length Type : [[b]] -> [Int] Does not match : ([[a]] -> [[a]]) -> [Int]

什麼是這裏的問題？謝謝。

Answer 1

你原來的功能被解析爲

numocc e = (map length) . ((map . filter . (==)) e) 

所以你不能只是刪除e，因爲它在技術上不出現在定義的末尾。但是，如果你定義操作

(.:) :: (c -> d) -> (a -> b -> c) -> (a -> b -> d) 
(.:) = (.) . (.) 

然後，你可以把它寫成

numocc = map length .: (map . filter . (==)) 

，因爲你不能混用.和.:由於固定性規則上map . filter . (==)括號是必需的。

但是，在這一點上，你只是使這個功能更難以閱讀和維護。這將是更好地把它分解成更小的部分，並引入一箇中間的名字，與添加的正確類型的簽名，並給予功能一個更好的名字一起開始：

numOccurrences :: Eq a => a -> [a] -> Int 
numOccurrences valueToCount values = length (filter (== valueToCount) values) 

numOccurrencesInSublists :: Eq a => a -> [[a]] -> [Int] 
numOccurrencesInSublists valueToCount = map (numOccurrences valueToCount) 

這是更具可讀性，沒有按」不要依賴特殊的運營商，更清楚地表達你的意圖。由於在單個列表中計數的情況是單獨的功能，因此您現在可以在其他地方使用它。

請記住，優雅的代碼並不是要儘可能簡短，而是儘可能讓它變得儘可能清晰。描述性名稱（不一定是長的），顯式參數和小型可組合單位是最好的。