
<html xmlns="http://www.w3.org/1999/xhtml">

<head>

<title></title>

</head>

<body>

<div name="messageReplySection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;"><br />

On 26 Nov 2017, 12:27 PM +1100, Nathaniel Smith <njs@pobox.com>, wrote:<br />

<blockquote type="cite" style="margin: 5px 5px; padding-left: 10px; border-left: thin solid #1abc9c;">It turns out that the PEP 484 type system is *mostly* not useful for<br />

this. They're really designed for checking consistency across a large<br />

code-base, not for enabling compiler speedups. For example, if you<br />

annotate something as an int, that means "this object is a subclass of<br />

int". This is enough to let mypy catch your mistake if you<br />

accidentally pass in a float instead, but it's not enough to tell you<br />

anything at all about the object's behavior -- you could make a wacky<br />

int subclass that acts like a string or something. <br /></blockquote>

<div><br /></div>

<div>But doesn’t Cython do all kinds of type conversions and implied equivalences that could be applied here? e.g. I’m going to annotate this as int, which might mean whatever in mypy, but if I pass this .py file to a newfangled Cython 0.35 compiler, the compiler will understand this to mean “actually really this is an int”?</div>

<div></div>

</div>

</body>

</html>