D.4 编译/转译工具及静态类型系统