Programming languages

mypy

A static type checker for Python and a compiler for type-annotated Python

python

Organization website

Participation history

2 GSoC years

2021 2020

2021

2 projects

Official year page

Improve support for singledispatch

Currently, mypy and mypyc are unable to recognize uses of the singledispatch decorator, making mypy generate false positives and mypyc generate...

Code Project page

Speeding up string operations of Mypyc

Mypyc is a compiler from type-annotated Python to CPython C extension modules. It uses type information and restrictions to certain dynamic language...

Code Project page

2020

1 project

Official year page

Generalize mypyc IR to Make non-C Backends Possible

Mypyc now employs an IR that is tightly bound to C, which makes potential experiments with new backends impractical and also breaks the layering...

Code Project page