理解轉型操作的廢料類型您樣板

Question

在由Laemmel和SPJ 2003 Scrap Your Boilerplate paper有頁面上的代碼片段3

mkT :: (Typeable a, Typeable b) => (b -> b) -> a -> a 
mkT f = case cast f of 
    Just g -> g 
    Nothing -> id 

，然後將文件解釋

也就是說，如果x的類型與f的參數類型相同，則mkT fx將f應用於x0

在本文前面例子的模式中， nk cast f的類型必須與Maybe (b -> b)的類型進行比較，上述評估爲Just g，但這看起來不正確。

發生了什麼事cast f？

Answer 1

類型的cast是

cast :: (Typeable x, Typeable y) => x -> Maybe y 

它產生Nothing如果x和y是不同類型和Just argument如果它們是相同的。請注意，當使用cast時，結果類型y必須根據調用上下文確定。如果不是，則編譯失敗並顯示無法解析的重載/模糊類型變量錯誤。

在此特定示例中，類型是函數類型，參數爲(b -> b)，結果爲(a -> a)。所以

cast f :: Maybe (a -> a) 

和mkT也可以寫mkT = fromMaybe id . cast。