编译型与动态语言优化