動態類型語言（Ruby、Velocity、Python 等）在企業開發與互聯網領域廣泛應用。其運行時類型推斷、解釋執行、修改即生效的特性賦予了極高的開發靈活性；而靜態類型語言（Java、C/C++）在執行前進行類型檢查、需編譯運行，對互聯網前端開發靈活性不足。因此，許多大型網站採用 FreeMarker、Velocity 等動態模板語言作為頁面開發語言，在一定程度上滿足了前端敏捷開發需求。
然而，大型電子商務網站不僅具備一般互聯網需求頻繁變更的特點，更顯著的是業務繁多、業務模型與關係複雜。在此類應用中，Velocity 開發暴露出嚴重問題：
這些動態語言固有缺點在企業級與大型網站應用中極為突出，嚴重影響開發質量與效率。技術上亟需一種高質量、高效率的新開發技術。
綜合考慮後，動態語言「解釋執行、修改即生效」的最大優點不可捨棄。必須從問題出發，尋找平滑解決之道。我們不由自主贊美 Java 的優勢：
這些優勢正是解決問題的方向。動態語言無法做到的根本原因在於變量無類型（弱類型），類型在運行時推斷，無法在開發階段類型檢查。如何結合兩者優點？答案就是半靜態語言。
半靜態語言，嚴格說是靜態化類型的動態語言。其特徵：以靜態方式開發，以解釋方式執行；通過變量顯式或隱式聲明，運行前可對變量類型進行推斷與驗證。
三類語言特點對比：
| 語言類型 | 優點 | 缺點 | 舉例 | 適用場景 |
|---|---|---|---|---|
| Static Language | 強類型，運行前類型檢查，程序健壯；支持反射可實現代碼提示、重構等敏捷特性 | 需編譯運行，發布慢；無法快速響應需求變化 | Java, C/C++ | 企業級後端、大型互聯網後端 |
| Dynamic Language | 靈活性高，修改即生效；快速響應需求變化 | 弱類型，運行時類型檢查，程序不健壯，測試成本高 | PHP, Ruby, Velocity | 業務簡單的小型互聯網前端 |
| Semi-Static Language | 開發時強類型，程序健壯；運行時弱類型，修改即生效，快速響應需求 | — | — | 業務複雜的企業級開發和大型互聯網前端 |
半靜態語言集合了靜態與動態語言優點，更適合電子商務、ERP、金融、保險等企業級與大型互聯網開發。
當前 Velocity 模板代碼：
<HTML>
Hello $customer.Name
<table>
#foreach( $product in $buyingProducts)
Buy: $product.Name, Price: $product.Price,
#end
</table>執行時通過 Velocity Context 傳遞 $customer、$buyingProducts，開發時這兩變量未定型（Untyped，或皆為 Object）。為實現靜態化開發，引入變量聲明，在模板頂部顯式聲明類型。聲明指令為 ##$，格式：##$ <Type> <var1[,var2[,...]]>。
帶聲明的半靜態模板：
##$ com.abc.crm.Customer customer
##$ com.abc.saling.Product product
##$ List<Product> buyingProducts
<HTML>
Hello $customer.Name
<table>
#foreach( $product in $buyingProducts )
Buy: $product.Name, Price: $product.Price,
#end
</table>指定 customer 類型為 com.abc.crm.Customer，buyingProducts 為 Product 泛型集合。因 ## 是 Velocity 註釋指令，##$ 在 Velocity Engine 解析渲染時不衝突，保證兼容性。
動態語言只有運行時階段，解釋器對源碼解析、執行產生結果。解析產生抽象語法樹（AST），所有變量存儲為統一類型（如 Object）。執行步驟由類型推斷系統根據實際值動態判斷類型、判斷調用正確性，由解釋器執行產生結果。
半靜態語言分開發時與運行時兩階段，互不干擾。
五步驟：編碼 → 編譯（類型檢查，稱「檢查」） → 測試 → 發布 → 執行。開發時覆蓋前兩步，運行時覆蓋後三步。為保證只有編譯合法代碼上線，兩約束規則：編譯合法才能提交測試；測試正確才能發布。理論上代碼仍具修改即生效特點，但質量保證角度應規避，上線後不允許未經編譯測試的隨意修改。
核心組件編譯器（Checker），本質是類型化解析器。編譯採用類型檢查算法，運行時由解釋器採用類型推斷算法。基本原理：根據變量聲明解析、類型檢查、語義檢查，輸出結果。
命令行工具 vmcheck 編譯半靜態代碼：vmcheck templateFile。以聲明式 Velocity 源碼為例，類型檢查系統包含規則與檢查點：
Error: line:2,column:7,variable $customer not declared !Customer 無 Name 屬性報錯 property 'Name' not found for $customer.List<Product> buyingProducts 調用 add($customer) 報錯 parameter type mismatched ... 'com.alibaba.saling.Product' is required.變量聲明分顯式與隱式兩種。
採用特殊指令在源碼中聲明類型。格式：<Declaration Directive> <Type> <varList>。為兼容運行時解釋器，引入「基於註釋的擴展聲明指令」技術。以 VTL 為例，在 Velocity 註釋 ## 上擴展 ##$ 指令：
##$ com.abc.crm.Customer customer
##$ List buyingProducts
##$ String flag, sss, abc其他動態語言同理：
| Language | Comment Instruction | S2L Declaration Instruction |
|---|---|---|
| Velocity | ## | ##$ |
| Javascript | // | //$ |
| Ruby | # | #$ |
| Python | # | #$ |
不在源碼寫聲明，從配置文件或其他分析變量聲明。如 Web App 開發頻繁操作 request,response,session 等 Servlet 容器對象，編譯器將其作為內置變量隱式聲明：
| Built-in variable | Type |
|---|---|
| request | HttpServletRequest |
| response | HttpServletResponse |
| session | HttpSession |
| application | ServletContext |
代碼無語法擴展，但編譯時用內置變量類型檢查。若寫錯 $session.getParameter("loginTime")，編譯器輸出 method 'getParameter' not found for $session!。
半靜態語言基於動態語言實現，但語法語義更接近靜態語言，需約束：
method 'quack' not found for $dog.（Ruby 中只要 dog 有 quack 方法即正確）。本質是動態與靜態語言思想結合產物。基本實現核心功能：運行前類型檢查與語義檢查。組件集合 SS 包括：
新半靜態語言 SS = SD + C。
舉例：Java 是靜態語言；Velocity 是基於 Java 的動態模板語言，Velocity Engine 解釋運行。實現半靜態語言：為 Velocity 基礎語法增加變量聲明指令，基於 Velocity 解釋器實現類型編譯器，負責開發時模板類型檢查。實踐中，Java 體系動態語言（FreeMarker、Groovy、JRuby、BeanShell 等）天生與 Java 結合，易通過擴展實現類型編譯器進而實現半靜態語言。其他動態語言（Python、Ruby）亦可基於此原理設計。
Velocity、FreeMarker 等基於 Java 等強類型語言，模板內直接操作傳入 Java 對象。利用 Java 反射機制，在類型檢查與反射基礎上可實現 IDE 敏捷功能：
其中增量構建與重構對大型系統維護價值極大。可獨立實現或集成 Eclipse 等 IDE 插件實現。
半靜態語言結合了靜態與動態語言優點，有效解決動態語言編程的開發質量與效率問題。保留動態語言靈活性，同時達到靜態語言開發時強類型檢查優勢，提升程序健壯性，降低測試複雜度與成本。結合 IDE 實現代碼提示、重構等敏捷功能，有效提升開發效率。在企業級與互聯網應用開發中具有良好應用價值。
