haskell - 在 Haskell 中，是否有某种方法可以强制强制多态调用？

Question

我有一个任何类型的值(或函数)列表。我还有另一个任何类型的函数列表。用户在运行时将从第一个列表中选择一个，并从第二个列表中选择另一个。我有一种机制来确保这两个项目类型兼容(第一个项目的值或输出与第二个项目的输入兼容)。

我需要某种方法来使用值调用函数(或组合函数)。如果第二个函数具有具体类型，则 unsafeCoerce 可以正常工作。但如果它的形式是:

polyFunc :: MyTypeclass a => a -> IO ()
polyFunc x = print . show . typeclassFunc x

然后 unsafeCoerce 不起作用，因为它无法解析为具体类型。

有什么办法可以实现我想要做的事情吗？

以下是列表的示例。但是......我不限于此，如果有其他方式来表示这些可以解决问题，我想知道。需要考虑的一个关键问题是:列表可以在运行时更改，因此我在编译时不知道可能涉及的所有可能类型。

data Wrapper = forall a. Wrapper a
firstList :: [Wrapper]
firstList = [Wrapper "blue", Wrapper 5, Wrapper valueOfMyTypeclass]
data OtherWrapper = forall a. Wrapper (a -> IO ())
secondList :: [OtherWrapper]
secondList = [OtherWrapper print, OtherWrapper polyFunc]

注意:至于为什么我要做这么疯狂的事情:我正在生成代码并使用提示对其进行类型检查。但这是在运行时发生的。问题在于，提示在实际执行时速度很慢，而高性能对此至关重要。另外，至少在某些情况下，我不想生成代码并在运行时通过 ghc 运行它(尽管我们也做了一些)。所以...我试图找到中间的某个地方:动态地将事物连接在一起，而不必生成代码和编译，但以编译速度而不是解释速度运行它。

Answer 1

编辑:好的，现在我了解了更多情况，这是一个非常通用的方法 - 根本不要直接使用多态函数!相反，请使用Dynamic -> IO ()类型的函数!然后，他们可以直接使用“typecase”式分派(dispatch)来选择要调用的单态函数——即只需打开 TypeRep。您确实必须为要包装的每个多态函数直接编码此调度。然而，如果这太麻烦了，你可以使用一些 Haskell 模板来自动化它。

本质上，不是重载 Haskell 的多态性，就像Dynamic在静态类型语言中嵌入动态类型语言一样，您现在将其扩展为嵌入 em> 静态类型语言中的动态多态性。

--

旧答案:更多代码会有所帮助。但是，据我所知，这是读取/显示问题。 IE。您有一个产生多态结果的函数和一个接受多态输入的函数。问题是您需要选择中间值，使其满足这两个约束。如果您有一种机制可以做到这一点，那么通常的技巧就会发挥作用，确保您满足编译器无法知道答案的开放问题。