Odin's Inline Assembler: Warum Assembly doch typisiert ist

Everyone says assembly is untyped—everyone is wrong

GingerBill, der Entwickler der Programmiersprache Odin, argumentiert, dass Assembly entgegen der landläufigen Meinung sehr wohl typisiert ist – jede Anweisung hat definierte Operandentypen, Registerklassen und Clobber-Effekte. Er kritisiert stringbasierte Inline-Assembler wie die von GCC und Clang als „bolted on“ und stellt Odins eigenen Inline-Assembler vor, der in nur sieben Tagen entstand. Dieser integriert sich nahtlos in die Sprache, verwendet eine einheitliche Syntax für alle ISAs, ist vollständig typgeprüft und bietet semantische Diagnosen. Ein historischer Rückblick auf MSVC und Turbo Pascal zeigt, dass bessere Ansätze existierten, aber an ISA-Grenzen scheiterten.