<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>On Jan 18, 2015, at 2:18 PM, David Mertz <<a href="mailto:mertz@gnosis.cx">mertz@gnosis.cx</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">It occurs to me that it wouldn't be that difficult to create a tool called 'python-annotations-to-cython' (maybe a shorter name like 'py2pyx') that would take whatever type annotation information was contained in a .py file and generate a .pyx file with cython types added in.</div></div></blockquote><div><br></div><div>It shouldn't be...and might be a good test of the typing system.</div><div><br></div><div>Good idea.</div><div><br></div><div>-Chris</div><div><br></div><br><blockquote type="cite"><div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jan 18, 2015 at 12:46 PM, Andrew Barnert <span dir="ltr"><<a href="mailto:abarnert@yahoo.com.dmarc.invalid" target="_blank">abarnert@yahoo.com.dmarc.invalid</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Jan 18, 2015, at 11:39, Chris Barker <<a href="mailto:chris.barker@noaa.gov">chris.barker@noaa.gov</a>> wrote:<br>
<br>
> I guess the gist here is that I think if Python is going to have an official type hinting system, it should leave the door open to compile time and run-time type checking. A good test case might be: can it be used for Cython? But this thread seems to be indicating that that is not the goal, and indeed, that it's almost an anti-goal. I hope I'm wrong about that.<br>
<br>
</span>The impression I get--and I hope this isn't just wishful thinking--is that this is an anti-goal for v1 (Python 3.5), but it's very much a goal for v2 (some future version).<br>
<br>
The issue is that it's a vague and ill-defined goal at the moment. So, there's a tactical argument that explicitly putting all of that off the table, and designing the simplest thing that could work for some purpose (a static type checker) now, is a better way to get to that long-term goal.<br>
<br>
Meanwhile, the door is open for people to experiment with fitting Cython C types and ORM column types and all kinds of other things into the system, or using it for hinting a static or JIT optimizer, or anything else. Most likely people who try that will find big gaps that they need filled--and that's exactly how we're going to find out what's needed for the v2 type annotation system.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" target="_blank">https://mail.python.org/mailman/listinfo/python-ideas</a><br>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" target="_blank">http://python.org/psf/codeofconduct/</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Keeping medicines from the bloodstreams of the sick; food <br>from the bellies of the hungry; books from the hands of the <br>uneducated; technology from the underdeveloped; and putting <br>advocates of freedom in prisons. Intellectual property is<br>to the 21st century what the slave trade was to the 16th.<br></div>
</div>
</div></blockquote></body></html>