If you would like to be really pedantic then the statement is true. There are many types of programming languages, and s language could be categorized into a "compiled language" category, an "interpreted language" category, or some other category. The statement did not claim that there are only two types of languages.