Meno:Dominik
Priezvisko:Kapišinský
Názov:Type-Awareness in Dynamic Languages
Vedúci:RNDr. Tomáš Kulich, PhD.
Rok:2014
Blok:INF
Kľúčové slová:Dynamic programming languages, Python 3, Type inference
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.

Súbory diplomovej práce:

kapisinsky_dipl.pdf
appendix.zip