어셈블리는 타입이 없다는 통념이 틀린 이유

어셈블리 언어는 타입이 없는 것이 아니라 다양한 타입 검사를 통해 다뤄진다.

Odin의 인라인 어셈블리는 단순히 문자열을 사용하는 방법이 아니라, 프로시저처럼 호출할 수 있는 타입 검사 템플릿이다. 이로 인해 다중 반환값과 호출 규약이 호스트 언어 내에서 효율적으로 처리된다. 각 명령어의 피연산자 종류와 레지스터 클래스 등은 명확하게 정의되어 있다.

Assembly language is not type-less, but handled through various type checks.

Odin's inline assembly is not just a string-based escape route; it functions as a type-checked ASM template that can be called like a procedure. This allows multiple return values and calling conventions to be handled within the host language. Each instruction's operand types, register classes, and other attributes are well-defined.