Динамическая типизация означает, что во время выполнения программы переменные могут принимать различные значения, например, сначала быть целочисленной, потом строковой, потом натуральной переменной. В языках со строгой типизацией такого сделать нельзя. Программа с самого начала выделяет некоторую область памяти под хранение значения и определяет, что это будет, строка, целое значение или натуральное.
Например, python - это язык с динамической типизацией. В одной программе можно сделать один за другим такие присваивания:
а=256
а="кукареку", то есть программа сначала будет хранить в переменной целое число 256, а потом поменяем его на строку "кукареку".
Pascal же язык со строгой типизацией. Для хранения чисел там надо выделить одни переменные, а для хранения строк - другие:
var
a, b : integer;
c : string;
begin
a:=256;
b:=12;
c:="hello"
Вот так.