Comment by genxy

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