On Fri, Jan 23, 2015 at 2:11 PM, Rustom Mody wrote:
> 1. [1,2,3] + [4,5,6]
> uses the same symbol for an unrelated operation
> 1 + 4
They're not unrelated operations. Maybe in the purity of mathematics
they're distinct, but in the practical world of "getting-stuff-done
programming", they're the s
Sturla Molden wrote:
> On 22/01/15 21:03, Mario Figueiredo wrote:
>
>> That is fine. But then the problem isn't type hinting, is it? Neither I
>> think you are suggesting we don't introduce language because there are
>> bad project managers out there.
>>
>> The problem is then bad project manager
On 1/22/2015 3:44 PM, Rick Johnson wrote:
On Thursday, January 22, 2015 at 12:28:47 PM UTC-6, Mark Lawrence wrote:
Evidence in completely the opposite direction if I'm
reading this correctly [snip link]
"The main use case of type hinting is static analysis
using an external tool without executi
On 1/22/2015 8:06 PM, Rick Johnson wrote:
On Thursday, January 22, 2015 at 4:25:37 PM UTC-6, Mario Figueiredo wrote:
1. Annotations where created exactly for this purpose. So
there's some preassure to put them to work on what they
were always meant to be used for.
Yes, i whole heartily agree!
On Fri, Jan 23, 2015 at 2:22 PM, Terry Reedy wrote:
> This idea is so brilliant that it is already an option in mypy and is part
> of the new type-hint proposal. The separate type-hint files are called
> 'stub files'.
It's worth pointing out, too, that the idea isn't panaceaic - it's
just anothe
Rick Johnson wrote:
> The solution is move the type
> hinting syntax completely out of the source file and into
> another file -- think of it as a "Python Type Hinting Header
> File".
The 1970s called, they want their bad ideas back.
I can do no better than to quote from the Go FAQs:
Depend
Sturla Molden wrote:
> Chris Angelico wrote:
>
>> Uhh... if your managers and customers are stipulating non-Pythonic
>> coding styles, then it's time to find new managers/customers. If
>> they're not writing the code, code quality shouldn't be their concern.
>
> I am saying the day someone requ
On 1/22/2015 10:59 PM, Chris Angelico wrote:
On Fri, Jan 23, 2015 at 2:22 PM, Terry Reedy wrote:
This idea is so brilliant that it is already an option in mypy and is part
of the new type-hint proposal. The separate type-hint files are called
'stub files'.
It's worth pointing out, too, that
On Friday, January 23, 2015 at 9:23:11 AM UTC+5:30, Chris Angelico wrote:
> On Fri, Jan 23, 2015 at 2:11 PM, Rustom Mody wrote:
> > 1. [1,2,3] + [4,5,6]
> > uses the same symbol for an unrelated operation
> > 1 + 4
>
> They're not unrelated operations. Maybe in the purity of mathematics
> they're
On Fri, Jan 23, 2015 at 4:03 PM, Terry Reedy wrote:
> On 1/22/2015 10:59 PM, Chris Angelico wrote:
>>
>> On Fri, Jan 23, 2015 at 2:22 PM, Terry Reedy wrote:
>>>
>>> This idea is so brilliant that it is already an option in mypy and is
>>> part
>>> of the new type-hint proposal. The separate type
On Fri, Jan 23, 2015 at 4:06 PM, Rustom Mody wrote:
> As for string and number how is
> "1" + "2" == "12"
> related to
> 1+2 == 3
> ??
They're both adding stuff together. Makes good sense.
Personally, I'd like str+int -> str, eg "1"+2 == "12", but Python
decided otherwise. We definitely agree on
Sturla Molden wrote:
> Python will no longer be dynamic, it will just be a slow static language.
It is worth explaining why this is wrong.
First, we need some definitions.
A *statically typed language* is one where variables have a type known to
the compiler at compile-time. That may be because
On 22/01/2015 11:45 AM, Chris Angelico wrote:
It's not a terrible justification for getting into programming. But
writing games is (almost always) a terrible way to start programming.
However, modifying games, I would argue, is a great way. The
ComputerCraft mod for Minecraft, for example, add
Ian Kelly wrote:
> Perhaps even more relevant to PEP 484:
>
> - The Closure compiler for Javascript uses JSDoc tags in comments for
> static typing and analysis.
Nice!
--
Steven
--
https://mail.python.org/mailman/listinfo/python-list
On 22/01/2015 1:23 PM, Steven D'Aprano wrote:
Modern games *are* part of "today's complex application systems", and games
developers may need the same skills used by "serious developers"
I wish more game developers would understand this. I've lost count of
the number of games that have failed
Terry Reedy wrote:
> On 1/22/2015 10:59 PM, Chris Angelico wrote:
>> On Fri, Jan 23, 2015 at 2:22 PM, Terry Reedy wrote:
>>> This idea is so brilliant that it is already an option in mypy and is
>>> part
>>> of the new type-hint proposal. The separate type-hint files are called
>>> 'stub files'.
On Fri, Jan 23, 2015 at 4:35 PM, alex23 wrote:
> On 22/01/2015 11:45 AM, Chris Angelico wrote:
>>
>> It's not a terrible justification for getting into programming. But
>> writing games is (almost always) a terrible way to start programming.
>
>
> However, modifying games, I would argue, is a grea
On 22/01/2015 22:35, Guohua Ouyang wrote:
Have reported an issue http://bugs.python.org/issue23300.
"That leading underscore in the method name means it is not a public
API and thus changes are allowed without any backwards-compatibility
guarantees. Mercurial will need to update their code to ha
On 23/01/2015 00:16, Steven D'Aprano wrote:
Marko Rauhamaa wrote:
Python is perfect already.
I have no words.
https://mail.python.org/pipermail/python-list/2002-November/154258.html
--
My fellow Pythonistas, ask not what our language can do for you, ask
what you can do for our language.
On 23/01/2015 00:44, Sturla Molden wrote:
On 22/01/15 23:08, Ian Kelly wrote:
T = TypeVar('T')
def adder(a: T, b: T) -> T:
return a + b
I'm not thrilled about having to actually declare T in this sort of
situation, but I don't have a better proposal.
Here is a better proposal:
def add
On 23/01/2015 03:53, Steven D'Aprano wrote:
If your manager is so bad, why isn't he insisting that you program in PHP or
Java or Algol 68 [insert name of some language you dislike] instead of
Python? Is your bad manager forcing you to write Java-style code in Python,
or insisting on Hungarian No
fan.di...@kodak.com writes:
> I have xmlrpc server written in Java, and it has a method like
>
> Fun( vector, vector), the vector is array of user-defined object, which is
> a class extends HashMap.
>
> And I call it like:
>
> server = xmlrpclib.ServerProxy("http://myserver";)
>
> server.Fun( [
101 - 122 of 122 matches
Mail list logo
