类型变量 记录类型 结果关系 数据模型 子程序说明 命令系统 过程体 目标代码