Creating type evaluation annotation

[Jon Ribbens]

On 2018-12-06, Marek Mosiewicz <marek.mosiewicz at jotel.com.pl> wrote:
> I'm Java developer,but had some experience with Python based
> ERP software. It is quite serious application and I feel 
> unconfortable with not having type checking. I do not say language
> should be static, but having checking method signature
> is big win. For example in refactoring.
> I know that Python 3 has possibility to have indicate
> type for varibale or param

Are you talking about http://www.mypy-lang.org/ ?