Ну ты если подумаешь, то ассемблер динамический. Как из динамического языка можно сделать статический?
Удачи объяснить архитектуре x86, что её транзисторы динамически типизируются. Типы регистров фиксированы, меняется интепретация результата и действия кодов, но тип остаётся. Это как были 32/64/128/256 и т.д. битные числа, так и остались