QL是一种静态类型语言，要求每个变量声明类型。类型包括基本类型、类和字符类型。类支持多重继承，并可包含特征谓词和成员谓词，成员谓词可以被重写以提供更具体的结果。
完成下面两步后，将自动完成登录并继续当前操作。
