时间戳

首页 > 解决方案 > 在 Haskell 中使用 Dynamic/fromDynamic 时是否可以恢复约束？

haskell - 在 Haskell 中使用 Dynamic/fromDynamic 时是否可以恢复约束？

问题描述

我正在设计一个需要跟踪不同类型表的系统。拥有一个权威的表格列表*会非常方便，拥有这个列表的最佳方式是——我认为——作为代理列表，因为有时我确实需要这种类型。我想 HLists 是一种选择，但即使在大量使用 Haskell 2 年后，它们看起来也很笨拙，所以我打算使用Dynamic.

我的代码目前如下所示：

allCowProxies :: [Dynamic]
allCowProxies = [
    toDyn $ Proxy @HoboRecord
  , toDyn $ Proxy @AF.AfiFarmRecord
  , toDyn $ Proxy @DCP.DcPrediction
  , toDyn $ Proxy @DCF.DcFreshFeatures
  , toDyn $ Proxy @DCH.DcHistorical
  , toDyn $ Proxy @SA.ShActivity
  , toDyn $ Proxy @SRE.ShRumAndEating
  , toDyn $ Proxy @SX.SxRecord
  ]

allCowRecs :: [TypeRep]
allCowRecs = catMaybes $ toTypeRep <$> allCowProxies
  where
    toTypeRep d = case fromDynamic d of
      Just x -> Just $ typeRep x
      Nothing -> Nothing

但这会产生一个错误：

    • No instance for (Typeable proxy0)
        arising from a use of ‘fromDynamic’
    • In the expression: fromDynamic d
      In the expression:
        case fromDynamic d of
          Just x -> Just $ typeRep x
          Nothing -> Nothing
      In an equation for ‘toTypeRep’:
          toTypeRep d
            = case fromDynamic d of
                Just x -> Just $ typeRep x
                Nothing -> Nothing
   |
37 |     toTypeRep d = case fromDynamic d of
   |                        ^^^^^^^^^^^^^

数据类型都应该实现Typeable，但如果没有，我希望只是到达Nothing这里，而不是编译时错误。我猜，从外观上看，它并没有完全推断出类型，而只是推断出外部类型（代理）。

是否有任何解决方法，或者建议的替代方法也将受到欢迎。

更新

虽然@Li-Yao Xia 的回答确实直接回答了这个问题，但我最终选择了另一种解决方案，并想在这里记录下来。它有点传统，但确实需要RankNTypes启用。

data CowRecTbl =
    Hobo   (Proxy HoboRecord)
  | Afi    (Proxy AF.AfiFarmRecord)
  | DcPred (Proxy DCP.DcPrediction)
  | DcFf   (Proxy DCF.DcFreshFeatures)
  | DcHist (Proxy DCH.DcHistorical)
  | ShAct  (Proxy SA.ShActivity)
  | ShRum  (Proxy SRE.ShRumAndEating)
  | SxTec  (Proxy SX.SxRecord)

allCowProxies :: [CowRecTbl]
allCowProxies = [
    Hobo   $ Proxy @HoboRecord
  , Afi    $ Proxy @AF.AfiFarmRecord
  , DcPred $ Proxy @DCP.DcPrediction
  , DcFf   $ Proxy @DCF.DcFreshFeatures
  , DcHist $ Proxy @DCH.DcHistorical
  , ShAct  $ Proxy @SA.ShActivity
  , ShRum  $ Proxy @SRE.ShRumAndEating
  , SxTec  $ Proxy @SX.SxRecord
  ]

cowRecTblApplyPx :: forall a.
  (forall r k. EntityRec r k => Proxy r -> a) -> CowRecTbl -> a
cowRecTblApplyPx f (Hobo px) = f px
cowRecTblApplyPx f (Afi px) = f px
cowRecTblApplyPx f (DcPred px) = f px
cowRecTblApplyPx f (DcFf px) = f px
cowRecTblApplyPx f (DcHist px) = f px
cowRecTblApplyPx f (ShAct px) = f px
cowRecTblApplyPx f (ShRum px) = f px
cowRecTblApplyPx f (SxTec px) = f px


allCowRecs :: [TypeRep]
allCowRecs = (cowRecTblApplyPx typeRep) <$> allCowProxies

启用后，我-Werror=incomplete-patterns所要做的就是记住添加新条目，allCowProxies如果我忘记了其他任何内容，类型系统会提醒我。在某些时候，我可能仍会在评论中尝试 Carl 的建议。

标签： haskell

解决方案

要从 a 获取TypeRep（未索引）Dynamic，有dynTypeRep

dynTypeRep :: Dynamic -> TypeRep   -- TypeRep = SomeTypeRep   in the docs

allCowRecs :: [TypeRep]
allCowRecs = dynTypeRep <$> allCowProxies

我不明白为什么你需要两者allCowRecs和allCowProxies，它们都编码相同的信息。

推荐阅读