Odin의 인라인 어셈블리: 모든 언어 중 최고라고 주장하는 이유
Everyone says assembly is untyped—everyone is wrong
Odin 언어의 창시자가 자신의 인라인 어셈블리 설계가 왜 최고인지 설명한다. 기존의 문자열 기반 어셈블리(GCC, Clang)와 달리, Odin은 어셈블리를 타입 시스템과 통합하여 완전한 타입 검사를 수행한다. 어셈블리가 실제로 타입이 있다는 통찰을 바탕으로, 모든 ISA에 일관된 문법을 제공하며, MSVC와 Turbo Pascal의 한계를 극복했다. 7일 만에 구축된 이 시스템은 clobber, pinned, tied, scratch 레지스터 바인딩과 의미론적 진단을 지원한다.
어셈블리는 사실상 다항(polyadic) 타입 대수이며, 모두가 바이트 수프인 척 하기로 동의한 것이다.