<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Not specifically about this proposal but about the effort put into
Python typehinting in general currently:<br>
<br>
<br>
What are the supposed benefits?<br>
<br>
<br>
I somewhere read that right now tools are able to infer 60% of the
types. That seems pretty good to me and a lot of effort on your side
to make some additional 20?/30? %. Don't get me wrong, I like the
theoretical and abstract discussions around this topic but I feel
this type of feature way out of the practical realm.<br>
<br>
I don't see the effort for adding type hints AND the effort for
further parsing (by human eyes) justified by partially better IDE
support and 1 single additional test within test suites of about
10,000s of tests.<br>
<br>
Especially, when considering that correct types don't prove
functionality in any case. But tested functionality in some way
proves correct typing.<br>
<br>
Just my two cents since I felt I had to say this and maybe I am
missing something. :)<br>
<br>
Best,<br>
Sven<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">On 09.09.2015 22:17, Guido van Rossum
wrote:<br>
</div>
<blockquote
cite="mid:CAP7+vJLLmQ8Ws4fBvzf97WLujxvY9DF+ngUAU68NF6pvTb2ttg@mail.gmail.com"
type="cite">
<div dir="ltr">Jukka wrote up a proposal for structural subtyping.
It's pretty good. Please discuss.<br>
<br>
<a moz-do-not-send="true"
href="https://github.com/ambv/typehinting/issues/11#issuecomment-138133867">https://github.com/ambv/typehinting/issues/11#issuecomment-138133867</a><br
clear="all">
<div><br>
-- <br>
<div class="gmail_signature">--Guido van Rossum (<a
moz-do-not-send="true" href="http://python.org/%7Eguido"
target="_blank">python.org/~guido</a>)</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Python-ideas mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Python-ideas@python.org">Python-ideas@python.org</a>
<a class="moz-txt-link-freetext" href="https://mail.python.org/mailman/listinfo/python-ideas">https://mail.python.org/mailman/listinfo/python-ideas</a>
Code of Conduct: <a class="moz-txt-link-freetext" href="http://python.org/psf/codeofconduct/">http://python.org/psf/codeofconduct/</a></pre>
</blockquote>
<br>
</body>
</html>