[Python-ideas] Proposal: Use mypy syntax for function annotations

Dennis Brakhane brakhane at googlemail.com
Fri Aug 15 00:59:36 CEST 2014

Am 15.08.2014 00:35, schrieb Alex Hammel:

> I think it's a bit different from what's being proposed here (it does
> type inference as well, for instance)

FWIW, David Halter is currently working on extending Jedi to include a
linter that does type inference. For example, the current development
version can do the following

$ cat foo.py

def foo(x):
    return x + "foo"


$ python -m jedi linter foo.py
foo.py:2:13: E11 TypeError: unsupported operand type(s) for +:
<CompiledObject: 1> and <CompiledObject: 'foo'>

More information about the Python-ideas mailing list