Re: [Python-Dev] static typing of input arguments in signatures

2014-04-13 Thread Terry Reedy
On 4/13/2014 4:11 AM, Łukasz Langa wrote: On Apr 13, 2014, at 12:48 AM, Stefan Behnel wrote: Stefan Behnel, 12.04.2014 19:11: So, what I've learned from seven years of Cython is that static typing in signatures is actually less interesting than you might think at first sight. It might be ok f

Re: [Python-Dev] static typing of input arguments in signatures

2014-04-13 Thread R. David Murray
On Sun, 13 Apr 2014 15:59:36 -0400, Terry Reedy wrote: > On 4/13/2014 4:11 AM, Łukasz Langa wrote: > > On Apr 13, 2014, at 12:48 AM, Stefan Behnel wrote: > > > >> Stefan Behnel, 12.04.2014 19:11: > >> > >> So, what I've learned from seven years of Cython is that static typing in > >> signatures

Re: [Python-Dev] static typing of input arguments in signatures

2014-04-19 Thread Ethan Furman
On 04/13/2014 04:58 PM, R. David Murray wrote: On Sun, 13 Apr 2014 15:59:36 -0400, Terry Reedy wrote: On 4/13/2014 4:11 AM, �ukasz Langa wrote: On Apr 13, 2014, at 12:48 AM, Stefan Behnel wrote: So, what I've learned from seven years of Cython is that static typing in signatures is actually

Re: [Python-Dev] static typing of input arguments in signatures

2014-04-24 Thread Łukasz Langa
On Apr 19, 2014, at 11:05 AM, Ethan Furman wrote: > Personal experience: I have my own copy of paramiko because it type checks > for strings, and I routinely use a str-subclass. I have had that kind of problem myself in the past. Most of the time the core issue wasn’t type checking, it was ho

[Python-Dev] static typing of input arguments in signatures (was: Language Summit notes)

2014-04-12 Thread Stefan Behnel
Stefan Behnel, 12.04.2014 19:11: > Guido van Rossum, 10.04.2014 03:08: >> - Jukka Lehtosalo gave a talk and answered questions about mypy, his design >> and implementation of pragmatic type annotations (no new syntax required, >> uses Python 3 function annotations). > > FWIW, signature type annota

Re: [Python-Dev] static typing of input arguments in signatures (was: Language Summit notes)

2014-04-13 Thread Łukasz Langa
On Apr 13, 2014, at 12:48 AM, Stefan Behnel wrote: > Stefan Behnel, 12.04.2014 19:11: > > So, what I've learned from seven years of Cython is that static typing in > signatures is actually less interesting than you might think at first > sight. It might be ok for documentation purposes, although