问为什么GeneralizedNewtypeDeriving不是一个安全的Haskell？

EN

卢基链接到我的博客文章关于这一主题。基本上，在GHC中实现的GeneralizedNewtypeDeriving假设某种同构(即newtype所隐含的操作无关同构)意味着leibniz相等。这在Haskell 98中是正确的，但在Haskell加上扩展中完全不正确。

也就是说，新类型提供了一对函数。

a -> b
b -> a

在核心上什么都不做，但不能得出结论

forall f. f a -> f b

因为f可能是类型函数或GADT。这是GeneralizedNewtypeDeriving所需的相等形式。

即使在Haskell 98中，它也破坏了模块赏金。你可以有这样的

class FromIntMap a where
  fromIntMap :: Map Int b -> Map a b

instance FromIntMap Int where
  fromIntMap = id

newtype WrapInt = WrapInt Int deriving FromIntMap

instance Ord WrapInt where
  WrapInt a <= WrapInt b = b <= a

会做坏事..。

我的博客文章展示了如何使用其他扩展(都是安全的)和unsafeCoerce实现GeneralizedNewtypeDeriving. --我对此有更好的理解，并且更有信心的是，如果没有"System“风格的扩展(类型系列，GADT)，GeneralizedNewtypeDeriving无法生成unsafeCoerce。窗台，它是不安全的，应该小心使用，如果有的话。我的理解是，Lennart Augustsson (用户augustss)在hbc中实现它的方式非常不同，而且这种实现是安全的。一个安全的实现将是更有限的，更复杂的。

更新:有了新版本的GHC (所有问题都应该从7.8.1开始消失)，GeneralizedNewtypeDeriving是安全的，因为有了新的角色系统