On Tue, Nov 7, 2017 at 9:27 PM, Guido van Rossum wrote:
> On Mon, Nov 6, 2017 at 10:36 PM, Stéfane Fermigier
> wrote:
>
>>
>>
>> On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum
>> wrote:
>>
>>> On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier
>>> wrote:
>>>
4) 10 years ago, when I was w
On Mon, Nov 6, 2017 at 10:36 PM, Stéfane Fermigier wrote:
>
>
> On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum wrote:
>
>> On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier
>> wrote:
>>
>>> 4) 10 years ago, when I was working on the EDOS project (
>>> http://cordis.europa.eu/pub/ist/docs/dire
On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum wrote:
> On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier
> wrote:
>
>> 4) 10 years ago, when I was working on the EDOS project (
>> http://cordis.europa.eu/pub/ist/docs/directorate_d/st-ds/edo
>> s-project-story_en.pdf ), I ran a small experimen
On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier wrote:
> 4) 10 years ago, when I was working on the EDOS project (
> http://cordis.europa.eu/pub/ist/docs/directorate_d/st-ds/
> edos-project-story_en.pdf ), I ran a small experiment where I used, IIRC,
> the profile hook to intercept all function
On Mon, Nov 6, 2017 at 11:34 AM, Stéfane Fermigier wrote:
> [...]
>
> Now I believe something could be done along the lines:
>
> a) record runtime type information from test or regular runs
> b) massage these information and use them to annotate Python code with
> additional type information (u
A few random remarks:
1) This seems similar to the Typeguard project
https://github.com/agronholm/typeguard
I personally never used it. I'd rather have some machinery that would run
the checks "magically" using the type annotations, without the need for
explicit decoration.
2) I fully agree that
On 06/11/2017 07:13, Steven D'Aprano wrote:
> On Sun, Nov 05, 2017 at 07:18:30PM +, Steve Barnes wrote:
>
>> If a group of iterators were to be added to the typing module it would
>> be reasonably simple to automatically add and assert to any decorated
>> modules to ensure that such modules
On Sun, Nov 05, 2017 at 07:18:30PM +, Steve Barnes wrote:
> If a group of iterators were to be added to the typing module it would
> be reasonably simple to automatically add and assert to any decorated
> modules to ensure that such modules were always called with the
> documented types.
"
The discussions on moving typing to a standalone library prompted me to
take a look at the documentation for typing which in turn lead to an
idea that should be reasonably simple to implement but greatly add value
to typing for some applications.
If a group of iterators were to be added to the
