程序设计语言可以按类型（如过程式、面向对象等）、抽象层次（如低级、高级）、以及应用场景等不同方式进行分类。