8 Aug
2015
8 Aug
'15
2:41 p.m.
On Sat, Aug 08, 2015 at 03:33:35PM +0100, Tom Ellis wrote:
On Sat, Aug 08, 2015 at 04:23:15PM +0200, Corentin Dupont wrote:
One thing I quite don't understand is: do we really need to make the newtype/data distinction explicit?
I'm pretty sure we don't.
newtype N = N A
defines a datatype isomorphic to
data D = D !A
but you have to use it slightly differently, that's all. I wrote more about this here:
Correction: http://stackoverflow.com/questions/21327740/strict-single-constructor-single... (My previous post linked to the previous revisions of the answer!)