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

Question

我正在设计一个需要跟踪不同类型的表的系统。拥有一个权威的表列表*将非常方便，并且我认为拥有此列表的最佳方式是作为代理列表，因为有时我确实需要该类型。我认为 HList 是一种选择，但即使在大量使用 Haskell 两年之后，它们看起来也很笨拙，所以我选择了Dynamic。

• 实际上，最好有 0 个列表，并且有一种方法可以在运行时查询特定类型类的所有可用实例，但我不确定是否有办法做到这一点(上次我检查过) .

我的代码目前如下所示:

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 添加新条目，如果我忘记了什么，类型系统应该提醒我别的。我可能仍然会在某个时候尝试卡尔在评论中的建议。

Answer 1

要从 Dynamic 获取 TypeRep(未索引)，有 dynTypeRep

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

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

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