<story><title>Mypy - An experimental Python variant with dynamic and static typing</title><url>http://www.mypy-lang.org/</url><text></text></story><parent_chain></parent_chain><comment><author>andrewcooke</author><text>why doesn&apos;t this use the python standard for adding type information?  it should be:&lt;p&gt;&lt;pre&gt;&lt;code&gt;   def foo(n: int):
&lt;/code&gt;&lt;/pre&gt;
not&lt;p&gt;&lt;pre&gt;&lt;code&gt;   def foo(int n):
&lt;/code&gt;&lt;/pre&gt;
then it would be valid python 3 code (and would also work with pytyp (disclaimer: mine)).&lt;p&gt;&lt;a href=&quot;http://docs.python.org/py3k/reference/compound_stmts.html#function-definitions&quot; rel=&quot;nofollow&quot;&gt;http://docs.python.org/py3k/reference/compound_stmts.html#fu...&lt;/a&gt;
&lt;a href=&quot;http://www.python.org/dev/peps/pep-3107/&quot; rel=&quot;nofollow&quot;&gt;http://www.python.org/dev/peps/pep-3107/&lt;/a&gt;
&lt;a href=&quot;http://www.acooke.org/pytyp/&quot; rel=&quot;nofollow&quot;&gt;http://www.acooke.org/pytyp/&lt;/a&gt;</text></comment>
<story><title>Mypy - An experimental Python variant with dynamic and static typing</title><url>http://www.mypy-lang.org/</url><text></text></story><parent_chain></parent_chain><comment><author>bugsbunnyak</author><text>From the FAQ:&lt;p&gt;&lt;i&gt;The initial compiler will compile into C or use LLVM for the back end&lt;/i&gt;&lt;p&gt;This is .. a rather fundamental point. More critically, there is no link that I could see to any code.&lt;p&gt;It is an interesting idea, but it seems a little too under-cooked to merit much discussion right now. However, one way that this could get really good traction is if it were to support Cython code (which doesn&apos;t seem to be the case, from the FAQ)</text></comment>