InfoQ刚发表一篇论文《半静态语言–原理和价值分析》

半静态语言 – 背景、原理和价值
（Semi-Static Language  - Background,Mechanism and Value）

【摘要】动态类型语言在企业开发和互联网开发中应用广泛，而其弱类型的内在特点使其在这些业务复杂的应用开发中存在很多缺点：无法静态验证，程序不健壮，测试成本高；缺乏静态语言如Java的实时验证、代码提示、代码重构等敏捷开发功能。为此，本文提出半静态语言，它的基本原理是两阶段模型，开发时运用变量类型声明进行类型检查，运行时采用解释执行的方式。半静态语言它结合了动态语言和静态语言的优点，同时满足灵活性、健壮性与敏捷开发的需求。

【关键词】半静态语言,动态类型语言, 静态类型语言, Velocity, Freemarker, Java

原文首发在 InfoQ China:
半静态语言 – 背景、原理和价值


PS: 第一次在InfoQ发论文，感谢凯丰热情的服务，感谢张逸、王瑜珩对论文的评审，专业认真的意见对二稿完善很有帮助。