使用GADT的性能影响

Question

在回答有关使用GADT的建议的问题时,评论中提出了一些与性能有关的问题.问题涉及类型类PlotValue:

class PlotValue a where
    value :: a -> Double

我的回答建议使用GADT Input:

data Input where
    Input :: (PlotValue a, PlotValue b) => Maybe a -> Maybe b -> Input

但我认为细节并不重要.

我想知道性能的两个方面:

时间:模式匹配是否会产生任何运行时成本

case x of
    Input (Just a) (Just b) -> value a * value b
    _ -> 0.0

超过正常成本匹配两个Maybe值？

空间:类型值Input携带多少存储开销？我的猜测是它PlotValue为每个类型的值Input(每个都有一个'指针')带有两个字典,这意味着[Input]在内存使用方面,a比使用更低效,(Just Double, Just Double)或者更好的是,(# #Double, #Double #)- 如果你存储结果value在正常或解压后的元组.

所以,虽然我喜欢GADT给我的表现力,但我从未想过表现方面.任何人都可以告诉我更多关于这个(以及我可能不知道的任何其他隐藏成本)？

Answer 1

我认为你已经确定了开销.对于每个存在限定变量,您需要相应的(指向)字典.这需要空间,更糟糕的是,方法调用将变得缓慢.你的例子中的(*)将是一个间接函数调用,而对于Double,它将是一个原始的op.