如何在Haskell中進行多次eta減少

Question

我有一個任務是從[[a]]矩陣中獲取一列。

一個簡單的解決方案就是

colFields :: Int -> [[a]] -> [a]
colFields n c = map (!! n) c

當減少一個抽象級別時，它將會是

colFields n = map (!! n)

我覺得我可以輕易擺脫n ，但我不能這樣做。

Answer 1

你在尋找什么

colFields = map . flip (!!)

但是，這不是很清楚，我會在那里留下n參數。 使用n作為顯式參數，我立即理解該函數的作用。 沒有它，我必須考慮一下才能理解定義，即使對於這樣的簡單情況也是如此。

我通過使用pointfree工具非常簡單地獲得了這個答案，盡管有方法可以手動推導出這個。