簡單描述java-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下載。