232

What is the difference when I write this?

data Book = Book Int Int

versus

newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid
4
  • Related to stackoverflow.com/questions/2649305/… May 4, 2011 at 21:06
  • Also related: uses for newtype: stackoverflow.com/questions/991467/… May 4, 2011 at 21:23
  • 28
    Note that newtype Book = Book Int Int isn't valid. You can however, have newtype Book = Book (Int, Int) as noted by dons below. May 5, 2011 at 2:30
  • In addition to @EdwardKMETT's comment I think Book Int Int is rather semantically invalid because newtype can only have one value constructor with only one field. Book Int Int has two fields.
    – LRDPRDX
    Aug 6, 2021 at 3:19

2 Answers 2

291

Great question!

There are several key differences.

Representation

  • A newtype guarantees that your data will have exactly the same representation at runtime, as the type that you wrap.
  • While data declares a brand new data structure at runtime.

So the key point here is that the construct for the newtype is guaranteed to be erased at compile time.

Examples:

  • data Book = Book Int Int

data

  • newtype Book = Book (Int, Int)

newtype

Note how it has exactly the same representation as a (Int,Int), since the Book constructor is erased.

  • data Book = Book (Int, Int)

data tuple

Has an additional Book constructor not present in the newtype.

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

enter image description here

No pointers! The two Int fields are unboxed word-sized fields in the Book constructor.

Algebraic data types

Because of this need to erase the constructor, a newtype only works when wrapping a data type with a single constructor. There's no notion of "algebraic" newtypes. That is, you can't write a newtype equivalent of, say,

data Maybe a = Nothing
             | Just a

since it has more than one constructor. Nor can you write

newtype Book = Book Int Int

Strictness

The fact that the constructor is erased leads to some very subtle differences in strictness between data and newtype. In particular, data introduces a type that is "lifted", meaning, essentially, that it has an additional way to evaluate to a bottom value. Since there's no additional constructor at runtime with newtype, this property doesn't hold.

That extra pointer in the Book to (,) constructor allows us to put a bottom value in.

As a result, newtype and data have slightly different strictness properties, as explained in the Haskell wiki article.

Unboxing

It doesn't make sense to unbox the components of a newtype, since there's no constructor. While it is perfectly reasonable to write:

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

yielding a runtime object with a T constructor, and an Int# component. You just get a bare Int with newtype.


References:

9
  • 3
    I still don't think I'd miss something if there was no "newtype" in Haskell. The subtle differences add complexity to the language that don't seem worthwile to me...
    – martingw
    May 6, 2011 at 11:47
  • 20
    The difference is very useful for performance reasons. Since newtype constructors are erased at compile time, they don't impose the runtime performance penalty that a data constructor does. But they still give you all the benefits of a completely distinct type and whatever abstractions you want to associate with it. For instance, there are two different ways the list data type can form a monad. One is built into the language, but if you wanted to use the other one, a newtype would be the way to go.
    – mightybyte
    May 6, 2011 at 12:59
  • 1
    Great explanation! What I don't understand is if newtype is erased after compilation and runtime uses the same representation for old and new types, how can we still be able to define instances for both old and new type? How can runtime understand which instance to use? Feb 9, 2016 at 11:07
  • 5
    @damluar All types are erased at runtime, they are all fully resolved at compile time, and during compilation newtype is obviously not yet erased.
    – semicolon
    Apr 21, 2016 at 18:32
  • 7
    @damlaur I once had the same question as you. When people say the types are erased, they omit to mention that one thing ISN'T erased, which is a memory word that is used for dictionary lookups to decide what instance method to use for a given piece of data. People argue that this word isn't a "type", which I think depends on your perspective, but there you go.
    – Gabriel L.
    Aug 28, 2018 at 15:48
0

They are different in semantics.

  • data defines a GADT (product type, sum type, etc)
  • newtype defines an isomorphism.

When you don't care about whether it's isomorphic, you should use data, even though it has only 1 field.

For example,

data Student = Student {
    age :: Int
}

If in this problem domain where age is the only infomation you have to process about a student, you should use data rather than newtype, because you never mean that a student should be isomorphic to an age.

Your Answer

Reminder: Answers generated by Artificial Intelligence tools are not allowed on Stack Overflow. Learn more

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.