📅︎ 17.04.2024 ✏︎ by Evy ⏱︎ 14 min ±10% Machine Code is Typed Wait, what…? Sometimes, when discussions about type system designs arise, someone makes a slight remark that machine code, aka. that binary programming language your CPU speaks, is an example of an »untyped« language. I heard that claim again recently, listening to a podcast, and so i felt inspired to write about why i disagree with that claim.