[core libraries] Re: Name for unary unboxed one-tuple

Simon Peyton Jones simonpj at microsoft.com
Wed Apr 25 17:40:51 UTC 2018


You mean can you say (# Int #) and (# x #).  Yes, of course.  They would presumably be synonymous with (Solo# Int) and (Solo# x).   Just as (# Int, Bool #) is synonymous with (#,#) Int Bool etc.

Simon

From: David Feuer <david.feuer at gmail.com>
Sent: 25 April 2018 18:38
To: Simon Peyton Jones <simonpj at microsoft.com>
Cc: Edward Kmett <ekmett at gmail.com>; Andrew Martin <andrew.thaddeus at gmail.com>; core-libraries-committee at haskell.org; Haskell Libraries <libraries at haskell.org>; ghc-devs at haskell.org
Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple

One question I don't remember seeing resolved. Will we still be able to use the old data constructor syntax and (fully applied) type constructor syntax? These are used a good bit in the wild.

On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries <libraries at haskell.org<mailto:libraries at haskell.org>> wrote:
OK great, thanks.  Solo# is it.  Adding ghc-devs: would someone like to make a patch?

Simon

From: Edward Kmett <ekmett at gmail.com<mailto:ekmett at gmail.com>>
Sent: 25 April 2018 17:13
To: Andrew Martin <andrew.thaddeus at gmail.com<mailto:andrew.thaddeus at gmail.com>>
Cc: Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>>; core-libraries-committee at haskell.org<mailto:core-libraries-committee at haskell.org>; Haskell Libraries <libraries at haskell.org<mailto:libraries at haskell.org>>
Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple

Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)

Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.

Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee.

-Edward

On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin <andrew.thaddeus at gmail.com<mailto:andrew.thaddeus at gmail.com>> wrote:
My vote is for Single/Single#.

Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.



On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries <libraries at haskell.org<mailto:libraries at haskell.org>> wrote:
Dear Libraries Committee
Some time ago Andrew Martin asked you<https://mail.haskell.org/pipermail/libraries/2018-January/028419.html> what the name of the unary unboxed one-tuple type and data constructor should be.  The thread ran for a while, but you never came to a conclusion.
Can we nail this one?   You’ll see on Trac #14673<https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19> that chessai wants me to decide 😊.  But it should really be you.
To me, there seems to be something of a consensus around Solo#.
Simon
PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________
Libraries mailing list
Libraries at haskell.org<mailto:Libraries at haskell.org>
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0>



--
-Andrew Thaddeus Martin
--
You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group.
To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe at googlegroups.com<mailto:haskell-core-libraries+unsubscribe at googlegroups.com>.
For more options, visit https://groups.google.com/d/optout<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0>.

_______________________________________________
Libraries mailing list
Libraries at haskell.org<mailto:Libraries at haskell.org>
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C70778e0681514285830208d5aad34b5a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602746839057686&sdata=8Hm7f5OcEjlZ81akbKmmuyrZyq2UBv%2BdPe2d%2BCGjz3E%3D&reserved=0>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180425/ee66cf62/attachment-0001.html>


More information about the Libraries mailing list