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