Walter: > I've worked a lot with large assembler programs. As you know, EAX has no > type. > The assembler code would constantly shift the type of things that were in > EAX, > sometimes a pointer, sometimes an int, sometimes a ushort, sometimes treating > a > pointer as an int, etc. I can unequivocably state that this typeless approach > is > confusing, buggy, hard to untangle, and ultimately a freedom that is not > justifiable.
There is even some desire of a typed assembly. It's not easy to design and implement, but it seems able to avoid some bugs: http://www.cs.cornell.edu/talc/papers.html Bye, bearophile
