如何做 Haskell 的 η conversion，以 (.).(.)為例

 Haskell的函數直接支援 η(eta) conversion，也就是說函數的撰寫可以變成完全無參數。事實上還是會接收參數，只是經過 η conversion 之後可以不寫。於是就有像 (.).(.) 這種完全不知道在幹什麼的函數。這不是乳房的象形文字，是一個合法的函數，而且還很有用。當然最好別這樣寫，這樣寫沒人看得懂。(.).(.) 函數可以經由 η conversion 轉回來變成有參數，Haskell當中有一種機械化的代數運算方式計算出 (.).(.) 的型別，有了型別就知道它在幹什麼了。