I'm writing my Bsc thesis about type systems of various languages and I want to have a short section about assembly languages. Initially I thought I'll bring up assembly as a counter example to languages with advanced type systems. My goal was to explore the reasons why assembly omits most (all?) type system features but eventually I found papers about typed assembly languages and I started to get confused. So here are my questions:
- Can we say that assembly is generally untyped? If so, what is the reason we don't have assemblers with advanced types and type checkers?
- Arguments for having a typed assembly language?
Here is a list of papers about typed assembly languages from the end of the last century: http://www.cs.cornell.edu/talc/papers.html. Links to other papers are highly appreciated!