[Python-ideas] New explicit methods to trim strings

Steven D'Aprano steve at pearwood.info
Sat Mar 30 04:29:25 EDT 2019


On Sat, Mar 30, 2019 at 12:15:00AM -0700, Christopher Barker wrote:
> On Fri, Mar 29, 2019 at 6:38 PM Steven D'Aprano <steve at pearwood.info> wrote:
> 
> > On Fri, Mar 29, 2019 at 04:05:55PM -0700, Christopher Barker wrote:
> >
> > > This proposal would provide a minor gain for an even more minor
> > disruption.
> >
> > I don't think that is correct. I think you are underestimating the gain
> > and exaggerating the disruption :-)
> 
> 
> I am very confused - I made that statement in response to a post of yours (
> unless I got the attribution wrong) in which you seemed to be arguing
> against the proposal.

That was the other Steven, the one who spells his name with a PH instead 
of a V :-)




-- 
Steven


More information about the Python-ideas mailing list