"jazyky s dynamickou typovou kontrolou"@cs .