Include one language that supports class abstractions (like Java or C++), 

one that supports functional abstraction (like Lisp or ML),

one that supports syntactic abstraction (like Lisp),

one that supports declarative specifications (like Prolog or C++ templates),

one that supports coroutines (like Icon or Scheme),

and one that supports parallelism (like Sisal).

一种要支持类/对象(class abstractions)的语言, 如Java或C++;

一种函数式(functional abstraction)语言, 如 LISP 或 ML;

一种支持语法抽象(syntactic abstraction) 的语言 如 LISP;

一种声明式语言, 如Prolog或 C++模版;

一种支持协同式(coroutines)编程, 如 Icon 或 Scheme;

还有一种支持并行(parallelism)的语言, 如 Sisal.