> Computer science has been advancing language design by building higher and higher level languages

Why? Because new languages have an IR in their compilation path?