|Abstrakt:||The aim of the thesis is to propose and to implement a solution of a type inference in a certain dynamic language. It is not a hard problem to infer the types in a static language due its strict rules. On the other hand, almost each dynamic language is also a dynamically typed language. Such language is bounded only by a few rules regarding a type information and therefore a programmer is provided with a freedom that may be dangerous sometimes.
Our solution is a tool that is able to analyse a given source code of a Python program. The result is a list of the possible errors appearing in the input source code. Furthermore, our tool supports other functionalities suitable for a proper plugin supporting a development of the Python programs in a certain editor.