[Python-ideas] Re: Really long ints

2020-02-05 Thread Jonathan Fine
Hi How about something like: >>> def t1(*argv): ... value = 0 ... for n in argv: ... value *= 1_000 ... value += n ... return value >>> t1(123, 456, 789) 123456789 Similarly, for define t2 to use 1_000_000, t3 to use 1_000_000_000 and so on, instead of 1_000. For rea

[Python-ideas] Re: Really long ints

2020-02-05 Thread 永田大和
> How about something like: > > >>> def t1(*argv): > ... value = 0 > ... for n in argv: > ... value *= 1_000 > ... value += n > ... return value > > >>> t1(123, 456, 789) > 123456789 > > Similarly, for define t2 to use 1_000_000, t3 to use 1_000_000_000 and so on, >

[Python-ideas] Re: Really long ints

2020-02-05 Thread Dan Sommers
On Wed, 5 Feb 2020 11:09:16 + Jonathan Fine wrote: > How about something like: > > >>> def t1(*argv): > ... value = 0 > ... for n in argv: > ... value *= 1_000 > ... value += n > ... return value > > >>> t1(123, 456, 789) > 123456789 > > Similarly, for define t2

[Python-ideas] Re: Really long ints

2020-02-05 Thread Dominik Vilsmeier
Dan Sommers wrote: > On Wed, 5 Feb 2020 11:09:16 + > Jonathan Fine jfine2...@gmail.com wrote: > > How about something like: > > def t1(argv): > > ... value = 0 > > ... for n in argv: > > ... value = 1_000 > > ... value += n > > ... return value > > t1(123, 456, 789)

[Python-ideas] Adding argparse.PathType

2020-02-05 Thread Antoine Pietri
Hi, Similarly to argparse.FileType, people find themselves writing the same checks over and over when getting directories from the CLI (and more generally, paths) and it seems this could be simplified directly in argparse. I suggest leveraging pathlib to add a new Path argument type. I wrote a dr