Google Summer of Code
mypy
About the Organization
A static type checker for Python and a compiler for type-annotated Python
Primary Technologies & Languages
python
Technical Topics & Focus Areas
static code analysiscompilercompilers
Participation Years
Completed Projects Distribution
Annual Completed Projects History
mypyHover over bars to view completed counts
4
3
2
1
0
20202021
Projects3
Years Active2
Stackpython
TierTier 1
Past Projects
Showing 3 of 3 projects. Click any project card for scope, mentors, and proposal studio.
Improve support for singledispatch
intermediateMentors: Student: Pranav Rajpal
<p>Currently, mypy and mypyc are unable to recognize uses of the singledispatch decorator, making mypy generate false positives and mypyc generate incorrect or slow code when it is used. This project would improve both of these problems by adding special support for singledispatch in mypy and mypyc.</p>
Speeding up string operations of Mypyc
intermediateMentors: Student: Jingchen YE
<p>Mypyc is a compiler from type-annotated Python to CPython C extension modules. It uses type information and restrictions to certain dynamic language features to speed up code, often significantly.</p> <p>This project speeds up compiling three string formatting methods (printf-style, str.format, f-string) and frequently used conversion operations. It also adds the bytes primitive and supports related operations.</p>
Generalize mypyc IR to Make non-C Backends Possible
beginnerMentors: Student: Xuanda Yang
<p>Mypyc now employs an IR that is tightly bound to C, which makes potential experiments with new backends impractical and also breaks the layering abstraction principle. In this project, we are designing new IR elements that provide cleaner abstraction and make future non-C backends possible and easy-to-implement.</p>