Динамічна типізація кліпарт

Система типізації (англ. type system) в програмуванні визначає множину припустимих значень даних та множину операцій над даними.