Name of 1-Tuple Data Type

[Carter Schonwald]

Unit# seems fine to me, its not gonna be in prelude, its a short name,

i dislike Only because i've only really seen it come up in in DB libraries
:)

On Thu, Jan 18, 2018 at 1:36 PM, Andrew Martin <andrew.thaddeus at gmail.com>
wrote:

> I like Solo. I think it would be a very good name for this for the reasons
> you listed.
>
> On Wed, Jan 17, 2018 at 9:41 PM, Theodore Lief Gannon <tanuki at gmail.com>
> wrote:
>
>> I've seen Only in the wild, and it's probably my favorite of the initial
>> suggestions for the same reasons as Ryan. Mono is my second pick from that
>> list.
>>
>> Id is very clean, but I could see pedagogical issues arising from name
>> confusion. Sing(le(ton)) is a terrible idea for the same reason.
>>
>> Venturing my own paint swatch: Solo fits in nicely with the established
>> size-specific names (pair, triple, etc.) and has all the good traits:
>> short, self-explanatory, nothing with a confusingly similar name (that I
>> know of).
>>
>>
>> On Jan 17, 2018 4:35 PM, "Ryan Reich" <ryan.reich at gmail.com> wrote:
>>
>> Only has two virtues I can see easily: it's short (shorter than almost
>> all the others), and it has the same feel as Maybe.
>>
>> There is also Id, the name of the mathematical function that this type
>> (and corresponding data) constructor is. Less pithy but even less intrusive.
>>
>> On Jan 17, 2018 15:47, "Andrew Martin" <andrew.thaddeus at gmail.com> wrote:
>>
>> Required background information: https://ghc.haske
>> ll.org/trac/ghc/ticket/14673
>>
>> GHC has a one-tuple (both a boxed variant and an unboxed variant). The
>> unboxed variant currently must be fully applied whenever it is used. This
>> is in stark contrast to all the other n-tuples (n > 1). It stems entirely
>> from an issue of syntax. The solution decided on is to provide a normal
>> prefix name for the 1-tuple. The name that GHC uses internally for this
>> type is `Unit#` (there is also a boxed variant Unit). However, in the
>> haskell community, the word "unit" already refers to the nullary tuple, not
>> the unary tuple. So, we're bikeshedding the name.
>>
>> Here are some possible options:
>>
>> * Unary (as in unary tuple)
>> * Single (as in single, double, triple)
>> * Singleton (as is singleton, doubleton, tripleton)
>> * Only (https://hackage.haskell.org/package/Only-0.1/docs/Data-Tupl
>> e-Only.html)
>> * OneTuple (https://hackage.haskell.org/package/OneTuple-0.2.1/docs/Dat
>> a-Tuple-OneTuple.html)
>> * Uni (means "one" in latin or greek or something like that)
>> * Mono (means "one" in latin or greek or something like that)
>>
>> I would appreciate any feedback on the suggestions I provided or any
>> additional suggestions for the name. If you have concerns about the feature
>> itself, comment on the GHC Trac ticket. I'd prefer to keep this thread
>> focused on just the problem of coming up with a name.
>>
>> --
>> -Andrew Thaddeus Martin
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
>>
>
>
> --
> -Andrew Thaddeus Martin
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180118/7d4dc961/attachment.html>