Proposal: Add singleton function to Data.List module

Francesco Ariis fa-ml at ariis.it
Wed Aug 14 19:59:06 UTC 2019


On Wed, Aug 14, 2019 at 08:34:43PM +0100, Oliver Charles wrote:
> I'd also be interested in a kind of "reverse" argument - *if* we had this
> added, what are the costs? There are arguments of "no, pure/robot ninja is
> enough" - fine, we're not taking those away so you aren't required to use
> singleton  But what is the *downside* of having singleton?

I slightly prefer `singleton` myself; adding it to `Data.List`
*will* break some code though (Ambiguous occurrence ‘singleton’
etc etc. when you import, say, Data.Map unqualified).

On Wed, Aug 14, 2019 at 09:36:37PM +0200, Sven Panne wrote:
> Am Mi., 14. Aug. 2019 um 19:37 Uhr schrieb Matt <parsonsmatt at gmail.com>:
>
> > There have been 19 votes cast so far. We have twelve +1 votes.
> >
>
> -1 from me, so we have 7 -1s now. >:-) BTW: Simply counting a tiny amount
> of votes in a niche mailing list is not the best way to design APIs IMHO.

Amen, let CLC reach consensus!



More information about the Libraries mailing list