https://wiki.jvmlangsummit.com/index.php?action=history&feed=atom&title=PythonGradualTypingPythonGradualTyping - Revision history2026-05-23T05:24:44ZRevision history for this page on the wikiMediaWiki 1.32.0https://wiki.jvmlangsummit.com/index.php?title=PythonGradualTyping&diff=126&oldid=prevPenni: /* Abstract */2008-09-26T16:48:36Z<p><span dir="auto"><span class="autocomment">Abstract</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 16:48, 26 September 2008</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7" >Line 7:</td>
<td colspan="2" class="diff-lineno">Line 7:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>; Talk Abstract: Static and dynamic type checking have well-known strengths and weaknesses. Static type checking enables compilers to generate highly efficient code and provides an important form of machine checked documentation for API functions. On the other hand, dynamic type checking provides greater flexibility and ease-of-use, as demonstrated in empirical studies by 100% productivity gains over statically typed languages.<br/><br/>In this talk I will discuss a new approach, called gradual typing, that provides the benefits of static and dynamic type checking in the same language by giving the programmer control over which portions of a program are statically typed and which portions are dynamically checked based on the presence or absence of type annotations. We are developing a gradual type checker for Python and working with the developers of Jython to bring gradual typing to the JVM. This talk will describe the current status of our project and outline the challenges that lay ahead.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>; Talk Abstract: Static and dynamic type checking have well-known strengths and weaknesses. Static type checking enables compilers to generate highly efficient code and provides an important form of machine checked documentation for API functions. On the other hand, dynamic type checking provides greater flexibility and ease-of-use, as demonstrated in empirical studies by 100% productivity gains over statically typed languages.<br/><br/>In this talk I will discuss a new approach, called gradual typing, that provides the benefits of static and dynamic type checking in the same language by giving the programmer control over which portions of a program are statically typed and which portions are dynamically checked based on the presence or absence of type annotations. We are developing a gradual type checker for Python and working with the developers of Jython to bring gradual typing to the JVM. This talk will describe the current status of our project and outline the challenges that lay ahead.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>http://wiki.jvmlangsummit.com/pdf/<del class="diffchange diffchange-inline">TBD</del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>http://wiki.jvmlangsummit.com/pdf/<ins class="diffchange diffchange-inline">28_Siek_gradual.pdf</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Author Bio ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Author Bio ===</div></td></tr>
</table>Pennihttps://wiki.jvmlangsummit.com/index.php?title=PythonGradualTyping&diff=104&oldid=prevPenni: /* Abstract */2008-09-25T18:24:49Z<p><span dir="auto"><span class="autocomment">Abstract</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 18:24, 25 September 2008</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Line 6:</td>
<td colspan="2" class="diff-lineno">Line 6:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Abstract ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Abstract ===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>; Talk Abstract: Static and dynamic type checking have well-known strengths and weaknesses. Static type checking enables compilers to generate highly efficient code and provides an important form of machine checked documentation for API functions. On the other hand, dynamic type checking provides greater flexibility and ease-of-use, as demonstrated in empirical studies by 100% productivity gains over statically typed languages.<br/><br/>In this talk I will discuss a new approach, called gradual typing, that provides the benefits of static and dynamic type checking in the same language by giving the programmer control over which portions of a program are statically typed and which portions are dynamically checked based on the presence or absence of type annotations. We are developing a gradual type checker for Python and working with the developers of Jython to bring gradual typing to the JVM. This talk will describe the current status of our project and outline the challenges that lay ahead.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>; Talk Abstract: Static and dynamic type checking have well-known strengths and weaknesses. Static type checking enables compilers to generate highly efficient code and provides an important form of machine checked documentation for API functions. On the other hand, dynamic type checking provides greater flexibility and ease-of-use, as demonstrated in empirical studies by 100% productivity gains over statically typed languages.<br/><br/>In this talk I will discuss a new approach, called gradual typing, that provides the benefits of static and dynamic type checking in the same language by giving the programmer control over which portions of a program are statically typed and which portions are dynamically checked based on the presence or absence of type annotations. We are developing a gradual type checker for Python and working with the developers of Jython to bring gradual typing to the JVM. This talk will describe the current status of our project and outline the challenges that lay ahead.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">http://wiki.jvmlangsummit.com/pdf/TBD</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Author Bio ===</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Author Bio ===</div></td></tr>
</table>Pennihttps://wiki.jvmlangsummit.com/index.php?title=PythonGradualTyping&diff=95&oldid=prevPenni: New page: == Gradual Typing for Python == Jeremy Siek ; Project: http://ece.colorado.edu/~siek === Abstract === ; Talk Abstract: Static and dynamic type checking have well-known strengths and weak...2008-09-25T18:08:22Z<p>New page: == Gradual Typing for Python == Jeremy Siek ; Project: http://ece.colorado.edu/~siek === Abstract === ; Talk Abstract: Static and dynamic type checking have well-known strengths and weak...</p>
<p><b>New page</b></p><div>== Gradual Typing for Python ==<br />
Jeremy Siek<br />
<br />
; Project: http://ece.colorado.edu/~siek<br />
<br />
=== Abstract ===<br />
; Talk Abstract: Static and dynamic type checking have well-known strengths and weaknesses. Static type checking enables compilers to generate highly efficient code and provides an important form of machine checked documentation for API functions. On the other hand, dynamic type checking provides greater flexibility and ease-of-use, as demonstrated in empirical studies by 100% productivity gains over statically typed languages.<br/><br/>In this talk I will discuss a new approach, called gradual typing, that provides the benefits of static and dynamic type checking in the same language by giving the programmer control over which portions of a program are statically typed and which portions are dynamically checked based on the presence or absence of type annotations. We are developing a gradual type checker for Python and working with the developers of Jython to bring gradual typing to the JVM. This talk will describe the current status of our project and outline the challenges that lay ahead.<br />
<br />
=== Author Bio ===<br />
* <update the bio here><br />
<br />
=== Key Issues for Discussion (cooperative) ===<br />
''(please expand cooperatively)''<br />
[[Talk:Python]]</div>Penni