Ассемблер не бестиповый: как устроен инлайн-ассемблер Odin
Everyone says assembly is untyped—everyone is wrong
Автор Odin утверждает, что его инлайн-ассемблер — лучший среди всех языков. В отличие от GCC, Clang и Rust, где ассемблерные вставки — это строки с минимумом проверок, Odin использует шаблоны `asm`, которые полностью типизированы и интегрированы с языком. Синтаксис единый для всех ISA, а регистры и операнды проверяются компилятором. Система была создана примерно за семь дней.
Ассемблер — это фактически полиадическая типизированная алгебра, которую все договорились считать супом из байтов.