Skip to content

Instantly share code, notes, and snippets.

@robstewart57

robstewart57/newtype laziness

Created November 9, 2012 14:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save robstewart57/4045780 to your computer and use it in GitHub Desktop.
Save robstewart57/4045780 to your computer and use it in GitHub Desktop.
Download ZIP
newtype vs data in haskll
Raw
newtype laziness
Prelude> data D = D Int
Prelude> let f (D i) = "ok"
Prelude> f undefined
"*** Exception: Prelude.undefined
Prelude> newtype D = D Int
Prelude> let f (D i) = "ok"
Prelude> f undefined
"ok"
@mattfenwick
Copy link

Just ran in to the same issue and got the same result as you ... took forever to figure out what the issue was. Thanks for posting this.

I found this link from this StackOverflow comment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment