Не знаю, откуда можно было взять такие соответствия. Есть алгебраический тип, населен интами, строками и понями. При этом есть критерии, как их всех между собой различать. Какая тут динамическая типизация? Или там

 
int x = ...
switch(x){
     case 0: ....
     case 1: ....
     case 2: ....
}

тоже имеет какое-то отношение к динамической типизации?