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

[Dennis Brakhane]

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"

foo(1)


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