gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-02 02:28:33 25 4
gpt4 key购买 nike

我正在设计一个需要跟踪不同类型的表的系统。拥有一个权威的表列表*将非常方便,并且我认为拥有此列表的最佳方式是作为代理列表,因为有时我确实需要该类型。我认为 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 添加新条目,如果我忘记了什么,类型系统应该提醒我别的。我可能仍然会在某个时候尝试卡尔在评论中的建议。

最佳答案

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

dynTypeRep :: Dynamic -> TypeRep   -- TypeRep = SomeTypeRep   in the docs
allCowRecs :: [TypeRep]
allCowRecs = dynTypeRep <$> allCowProxies

我不明白为什么您需要 allCowRecsallCowProxies,它们都编码相同的信息。

关于haskell - 在 Haskell 中使用 Dynamic/fromDynamic 时是否可以恢复约束?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65363639/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com