使设计者可以用语言形式编制出课题的源程序，然后通过编译程序，自动编出以机器指令形式表达的目的程序，大大提高了程序设计的劳动生产率。高级程序设计语言已多达数百种，其中主要者有BASIC、FORTRAN、ALGOL、COBOL、PASCAL等。由于语言繁多又互不相通，程序移植困难，造成很大浪费。