gpt4 book ai didi

haskell - 在 Data.Dynamics 中获得多态函数的任何解决方法?

转载 作者:行者123 更新时间:2023-12-04 06:01:06 26 4
gpt4 key购买 nike

函数dynApply来自 Data.Dynamics看起来很不错,但实际上它需要一个单态函数类型。所以,你不能写

dynApply (toDyn id) (toDyn 3)

我有一些需要多态返回类型的代码。它们是受限制的形式,例如职能
forall t. (a -> t) -> t
forall t. (a -> t) -> b -> t
forall t. (a -> t) -> b -> c -> t
...

(其中 abc 是具体类型)。提前致谢。

最佳答案

不,多态函数与 Data.Dynamic 不兼容.要做到这一点,需要一个多态 Data.Typeable以及在运行时使用类型检查器。

但是,此功能有一张票:Polymorphic Data.Dynamic

关于haskell - 在 Data.Dynamics 中获得多态函数的任何解决方法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8888837/

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