Groovy 2.0靜態類型檢查及編譯功能介紹
Groovy開發團隊近日發布了2.0的版本，Groovy是基于Java虛擬機(JVM)，屬于一種動態、面向對象的編程語言，盡管是一門動態語言，但是新版本加入了靜態類型檢查器和可選的靜態編譯應用程序的某些部分的功能，Groovy2.0還包括了語法加強、更加模塊化、能充分利用JDK7的動態調用(invoked dynamic)等特性。
因為很多Java開發者使用Groovy作為一種擴展語言嵌套使用，Groovy因靜態類型檢查特性的加入使得開發者就能像使用Java一樣在編譯的時候看到錯誤消息，如果開發者在代碼中使用@TypeChecked注解，Groovy編譯器將在編譯階段執行靜態類型檢查，指出明顯的錯誤如變量名稱輸入錯誤等，靜態類型檢查器同樣可以驗證返回值。開發者可以混合靜態類型方法和該語言的動態特性以及可選的類型檢查，這些都得益于Groovy的動態特性。
Groovy2.0支持JDK7的動態調用特性，當使用JDK7版本時此特性增強了Groovy的動態調用的性能。因為JDK7可以廣泛的部署，Groovy開發團隊增加了新的@CompileStatic轉換，使之包含了靜態類型檢查代碼的特性，這個版本的Groovy還包括了來自于Project Coin項目的一些語法增強。
為了讓Groovy更加模塊化，Groovy2.0分拆了最初的Groovy Jar 文件，由多個小模塊組織起來，這使得核心Groovy JAR文件大小減少一半，因此而更加可移植。用戶現在可以只選取必要的模塊放到他們的程序中，這樣開發的好處就是支持模塊的擴展。Groovy的模塊現在可以提供方法給其他類使用，包括JDK或者其他的庫，這些擴展的方法是完全支持的，而且能被靜態類型檢查器和編譯器所理解。
開發團隊最初計劃發布這個版本叫1.9，但是此版本大量的新特性讓他們改變了想法，因此而命名為Groovy2.0。
從現在起，開發團隊計劃每年發布一個主要的版本，Groovy3.0將在明年發布。
關于這個發布的更多細節信息可以在InfoQ上Groovy項目負責人Guillaume Laforge的一篇文章 找到。Groovy2.0可以在基于Apache2.0許可協議下的條件下從Codehaus.org下載。
