如何使用Data.Data？

Question

由於我不熟悉 rank-N 類型，因此gfoldl的類型簽名對我來說很麻煩：

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> a
-> c a

我能想到的唯一函數分別是\\xs y -> ($y) <$> xs和pure 。

其他函數如gunfold和gmapT也有類似的問題。 那么它們的重要用途有哪些值得注意的例子呢？

Answer 1

對於gmapT情況，原始論文中為此目的定義了mkT函數。

mkT :: (Typeable a, Typeable b ) => (b -> b) -> a -> a
mkT f = fromMaybe id (cast f)

例如，要增加A中的所有int字段，您可以編寫類似

data A = A {f :: Int, s :: Int} deriving (Data, Typeable)

ex = gmapT (mkT inc) (A 2 3) where 
  inc :: Int -> Int
  inc = (+1)

為了更清楚， ex函數也可以這樣寫：

ex2 = gmapT f (A 2 3) where 
  f :: (Data a ) =>  a -> a
  f a = case cast a of 
    Nothing -> a
    (Just (b :: Int)) -> fromJust $ cast (b + 1)

Answer 2

Data.Data是稱為“Scrap Data.Data ”的通用元編程框架的一部分。

• Data.Data模塊鏈接到關於該主題的研究出版物列表https://wiki.haskell.org/Research_papers/Generics#Scrap_your_boilerplate.21

• syb 庫中充滿了通用轉換的示例，請特別參閱Schemes 模塊

• 曾經有一個 SYB wiki（從Data.Data和 syb 鏈接），但遺憾的是它現在似乎已經死了。

• 對於不同類型的示例， boltzmann- Data.Data （我是作者）將Data.Data用於具有某些均勻性屬性的通用隨機生成器。