haskell - 如何将动态多态函数应用于动态值？

Question

标签： haskelldynamicreflection

Answer 1

正如文档Data.Dynamic所说，

ADynamic可能只表示一个单态值；尝试Dynamic从多态类型表达式创建类型值将导致歧义错误（请参阅 参考资料toDyn）。

也许您正在寻找类似以下之一的东西？

toDynJust :: Typeable a => a -> Dynamic
toDynJust = toDyn . Just

还是内置的fromDynamic :: Typeable a => Dynamic -> Maybe a？

也许如果您透露更多您正在尝试做的事情，而不是您尝试如何做，那么人们可以更好地判断这是否是正确的方法。:-)