Dynamic checking means that type errors are reported based on a program's dynamic (run-time) behavior.
Динамичка провера значи да су типови грешака пријављени на основу динамике програма (рун-тајм) понашања.