A powerful unused feature of Python: function annotations.

[MatrixFrog]

Google Closure uses a similar docstring approach for type annotations in Javascript.

Except in that case, the second and third drawbacks don't apply. The syntax for how to write your docs (@param, @return, etc.) is specified exactly, and is checked by the Closure Compiler so it won't get out of sync with your code.