An avenuge of research worth being sniped on is Typed Assembly Language

https://en.wikipedia.org/wiki/Typed_assembly_language

https://www.cs.cornell.edu/talc/overview.html

TALs are not what I am referring to here. I am arguing that assembly is already typed and does not need extra annotation to be typed.

TALs are also solving an entirely different problem.

▲

genxy a day ago | parent | next [-]

The technique is good, and compilers that interact with assembly should do this, but as you outline, they basically just shove blobs of text around and hope for the best.

I didn't say you were referring to TALs. Yours is a syntax level check, not type checking of the program in the normative sense. It might be more accurate refer to your technique as an "instruction signature", rather than a type.

I would argue that that are complementary and not entirely different.

I thought it would be interesting for folks.

▲

questionableans a day ago | parent | prev [-]

But a language being “typed” doesn’t tell us anything useful. Untyped languages are typed too: they’re uni-typed (every expression is an expression).

I think you do your analysis a disservice by focusing on “is assembly language typed?” as the top line question. The more interesting question you examine is what do the type constraints in inline asm offer, and how do they interact with the host language’s type system?

▲

gingerBill a day ago | parent [-]

I know that "untyped" means a single-type, but assembly operands have multiple different kinds of types (as I state in the article). What makes it really interesting is what you can know about each instruction and what it does (what operands it excepts, what it clobbers, what side-effects its has, etc).

And from that huge table of type information, this can be used to give good error messages and suggestions to the user because the compiler actually knows all of this. The type constraints here allow for a lot more than information that normal assemblers just don't give.

	▲	questionableans a day ago \| parent [-]
		Yes, and your second paragraph above is the interesting part that I would want the reader to focus on, starting from the title.