瞭解SYB樣板消除

Question

在這個例子中http://web.archive.org/web/20080622204226/http://www.cs.vu.nl/boilerplate/

-- Increase salary by percentage 
increase :: Float -> Company -> Company 
increase k = everywhere (mkT (incS k)) 

-- "interesting" code for increase 
incS :: Float -> Salary -> Salary 
incS k (S s) = S (s * (1+k)) 

給出如何來增加功能，編譯沒有結合在它的類型簽名提到的第一個公司什麼。

是否像分配給部分函數？爲什麼這樣做？

Answer 1

是的，它與部分應用程序的概念相同。該線是

increase k c = everywhere (mkT (incS k)) c 

作爲everywhere採用兩個參數，而僅給定的一個，的everywhere (mkT (incS k))類型是Company -> Company較短（但可以說不太清楚）等效。因爲這正是increase k爲每個浮點數k返回的結果，所以increase的結果類型爲Float -> Company -> Company。