带有严格注释的`newtype`和`data`之间的区别

Question

这段代码如何

data D = D { _d :: ![P] } -- Note the strictness annotation!

比较一下

newtype D = D { _d :: [P] }

answer to a related question 说：

data 和 newtype 的主要区别在于 data 的构造函数是惰性的，而 newtype 是严格的

当data 版本有严格注解时，这种差异如何发挥作用？

（问题基于我偶然发现的真实代码）

Answer 1

例如，

case undefined of
   D d -> "hello"

对于data 类型（严格或不严格）将出错，但对于新类型将评估为"hello"。

这是因为，在运行时，应用newtype 构造函数，或对其进行模式匹配对应于无操作。甚至没有强加我们case 的价值。

相比之下，data 构造函数上的模式匹配总是强制我们使用 case 的值。

我认为这是严格的data 和newtype 之间唯一的运行时区别。 有一些静态差异，比如一些 GHC 扩展只影响newtype、Coercible 等，但在运行时这两种类型是同构的（但模式匹配操作不同，如上所示）。