Haskell中data和newtype之间的区别

我写这篇文章有什么区别？

data Book = Book Int Int

与

newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

好问题！

有几个主要区别。

表示

• A newtype保证您的数据在运行时将具有与包装的类型完全相同的表示形式。
• 虽然data在运行时声明了全新的数据结构。

因此，这里的关键newtype是保证在编译时会删除的构造。

例子：

• data Book = Book Int Int

• newtype Book = Book (Int, Int)

请注意(Int,Int)，由于Book删除了构造函数，因此它的表示形式与完全相同。

• data Book = Book (Int, Int)

中没有其他Book构造函数newtype。

• data Book = Book {-# UNPACK #-}!Int {-# UNPACK #-}!Int

没有指针！这两个Int字段是Book构造函数中未装箱的单词大小的字段。

代数数据类型

由于需要擦除构造函数，因此newtype只有在用单个构造函数包装数据类型时，a 才起作用。没有“代数”新类型的概念。也就是说，您不能编写与以下内容等效的新类型：

data Maybe a = Nothing
             | Just a

因为它有多个构造函数。你也不能写

newtype Book = Book Int Int

严格

删除构造函数的事实导致data和之间的严格性差异非常细微newtype。特别是，data引入了一种“提升”类型，从本质上讲，它意味着可以使用其他方法求出底值。由于使用时在运行时没有其他构造函数newtype，因此该属性不成立。

Bookto (,)构造函数中的额外指针使我们可以放入一个底值。

作为结果，newtype并data具有略微不同的严格性，因为Haskell的维基文章中解释。

拆箱

取消对a的组件拆箱是没有意义的newtype，因为没有构造函数。虽然写是完全合理的：

data T = T {-# UNPACK #-}!Int

产生具有T构造函数和Int#组件的运行时对象。你只是得到一个裸Int与newtype。

参考文献：

• Haskell Wiki上的“ Newtype”
• 诺曼·拉姆西（Norman Ramsey）关于严格性属性的答案