Name for unary unboxed one-tuple

[David Feuer]

Andrew probably did not make a mistake. Library proposals generally start
on the libraries list and only go to the CLC when there is trouble reaching
consensus or when the change is seen as particularly serious.

On Wed, Apr 25, 2018, 4:29 AM Simon Peyton Jones via Libraries <

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
_______________________________________________
Libraries mailing list
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

[Olivier S.]

Hello,

I propose "single" (Single#), as in
https://en.wikipedia.org/wiki/Tuple#Names_for_tuples_of_specific_lengths

I think it makes a bit more sense than "solo".

Olivier



2018-04-25 10:28 GMT+02:00 Simon Peyton Jones via Libraries <

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
_______________________________________________
Libraries mailing list
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

[Andrew Martin]

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 <

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
_______________________________________________
Libraries mailing list
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

[Edward Kmett]

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

Post by Andrew Martin
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 <

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
_______________________________________________
Libraries mailing list
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

--
-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
For more options, visit https://groups.google.com/d/optout.

[Andrew Martin]

Three cheers for Solo!

Post by Edward Kmett
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

Post by Andrew Martin
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 <

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
_______________________________________________
Libraries mailing list
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

--
-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
For more options, visit https://groups.google.com/d/optout.

[David Feuer]

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 <

OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to
make a patch?
Simon
*Sent:* 25 April 2018 17:13
*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
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 <
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
_______________________________________________
Libraries mailing list
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
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
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

[David Feuer]

Great.

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
*Sent:* 25 April 2018 18:38
*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 <
OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to
make a patch?
Simon
*Sent:* 25 April 2018 17:13
*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
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 <
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
_______________________________________________
Libraries mailing list
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
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
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>