But to play the devil's advocate, where would we be if architectures followed higher level abstractions to a point they would be hard to differenciate ? They d be slower to run maybe, but so much nicer to program for!