Java 8很好地竊取了Scala的想法，但是這里列出了Java開(kāi)發(fā)人員仍然夢(mèng)寐以求的Ceylon編程功能。

當(dāng)Hibernate完成并且功能完善并且需要新的挑戰(zhàn)時(shí)，該怎么辦？對(duì)。人們創(chuàng)建了一種新的JVM語(yǔ)言，稱(chēng)為Ceylon。

2013年11月12日，Ceylon 1.0.0終于發(fā)布了，我們祝賀Red Hat的整個(gè)團(tuán)隊(duì)在看起來(lái)非常有希望的新JVM語(yǔ)言方面所取得的成就。Ceylon與Scala的競(jìng)爭(zhēng)將是一個(gè)小挑戰(zhàn)，但有許多非常有趣的功能使它與眾不同。

無(wú)論如何，足夠多的人是誰(shuí)。這是我希望在Java中獲得的個(gè)人十大Ceylon語(yǔ)言功能列表：

1.模塊

在Java中，Jigsaw已被推遲了約34次，而我們現(xiàn)在才關(guān)閉Java 8 GA！是的，我們有OSGi和Maven，它們?cè)谶\(yùn)行時(shí)（OSGi）或編譯時(shí)（Maven）的依賴(lài)關(guān)系管理方面都工作得很好。但是，使用Apache Felix比較這個(gè)黑魔法Maven / OSGi配置…

<plugin>   <groupId>org.apache.felix</groupId>   <artifactId>maven-bundle-plugin</artifactId>   <version>2.1.0</version>   <extensions>true</extensions>   <executions>     <execution>       <id>bundle-manifest</id>       <phase>process-classes</phase>       <goals>         <goal>manifest</goal>       </goals>     </execution>   </executions>   <configuration>     <supportedProjectTypes>       <supportedProjectType>         jar       </supportedProjectType>     </supportedProjectTypes>     <instructions>       <Bundle-SymbolicName>         org.jooq       </Bundle-SymbolicName>       <Export-Package>*</Export-Package>       <Import-Package>         javax.persistence;resolution:=optional,         org.apache.log4j;resolution:=optional,         *       </Import-Package>       <_versionpolicy>         [$(version;==;$(@)),$(version;+;$(@)))       </_versionpolicy>     </instructions>   </configuration> </plugin>

最后，可以在jar級(jí)別上控制事物，包括程序包的可見(jiàn)性。僅用幾行代碼。Java，請(qǐng)集成Ceylon的強(qiáng)大模塊支持。

值得一提的是Fantom是另一種具有集成模塊支持的語(yǔ)言。參見(jiàn)JodaTime在2011年Devoxx上的Stephen Colebourne的演講：   “ Scala的Fantom光年還遠(yuǎn)嗎？” 。Stephen還為我們帶來(lái)了ElSql，這是一種用于Java模板的新外部SQL DSL。

2.序列

這是我第一次看到這種對(duì)類(lèi)型安全的語(yǔ)言的序列的一流支持。Ceylon不僅附帶各種收集文字，而且還知道這些構(gòu)造的類(lèi)型。具體來(lái)說(shuō)，您可以這樣聲明一個(gè)Iterable：

<code class="java plain">{String+} words = { "hello", "world" };</code>

注意文字的符號(hào)。類(lèi)型 {String+}為，表示它至少包含一個(gè)元素。該類(lèi)型與兼容 {String*}，表示可能是空序列。很有意思。

通過(guò)這樣支持?jǐn)?shù)組文字來(lái)繼續(xù)：

String[] operators = [ "+", "-", "*", "/" ]; String? plus = operators[0]; String[] multiplicative = operators[2..3];

…或元組文字：

<code class="java plain">[Float,Float,String] point = [0.0, 0.0, "origin"];</code>

還要注意范圍文字2..3，它允許從原始數(shù)組中提取子數(shù)組。Ceylon有如此多的序列優(yōu)勢(shì)！

還要注意中的問(wèn)號(hào)String?，這是Ceylon聲明…的方式。

3.可空類(lèi)型

Scala知道Option類(lèi)型，Haskell知道Maybe類(lèi)型，而 Java 8試圖通過(guò)添加新的，不可執(zhí)行的Optional類(lèi)型進(jìn)行競(jìng)爭(zhēng)，但是Ceylon擁有一個(gè)非常簡(jiǎn)單的概念，即可以為空的東西。如果類(lèi)型后面有問(wèn)號(hào)，則它可以為空。否則，它不為null?？偸沁@樣。

為了將可為空的類(lèi)型轉(zhuǎn)換為不可為空的類(lèi)型，您必須顯式檢查：

void hello() {     String? name = process.arguments.first;     String greeting;     if (exists name) {         greeting = "Hello, ``name``!";     }     else {         greeting = "Hello, World!";     }     print(greeting); }

注意exists操作員。它定義了一個(gè)新的范圍，在該范圍內(nèi)，該name變量已知不為null，即，將其從提升String?為 String。盧卡斯·里茲（Lukas Rytz）認(rèn)為，這種局部作用域類(lèi)型的提升通常稱(chēng)為流敏感類(lèi)型化，這已經(jīng)在Whiley語(yǔ)言中被觀察到。

如果省略該exists檢查，則在該字符串插值處將出現(xiàn)編譯錯(cuò)誤。還有其他有用的結(jié)構(gòu)可以執(zhí)行臨時(shí)類(lèi)型轉(zhuǎn)換：

<code class="java plain">String greeting = "Hello, " + (name else "World"); </code>

該else子句的行為類(lèi)似于SQL COALESCE()函數(shù)，甚至可以鏈接起來(lái)。閱讀有關(guān)Ceylon的可為善的更多信息  。

4.默認(rèn)參數(shù)

OMG，我希望我們能用Java做到這一點(diǎn)。我們認(rèn)為，每次我們重載方法時(shí)，為什么不僅僅支持默認(rèn)參數(shù)，例如PL / SQL？

void hello(String name="World") {     print("Hello, ``name``!"); }

我無(wú)法想到為什么語(yǔ)言不會(huì)具有PL / SQL之類(lèi)的命名和默認(rèn)參數(shù)的一個(gè)很好的理由：

-- One of the parameters is optional CREATE PROCEDURE MY_PROCEDURE (   P1 IN NUMBER,   P2 IN VARCHAR2 := 'ABC',   P3 IN VARCHAR2 );    -- Calling the procedure MY_PROCEDURE(   P1 => 1,   P3 => 'XYZ'

因此，這是在大多數(shù)情況下避免方法重載的一種方法。當(dāng)我們要處理替代的，不兼容的類(lèi)型時(shí)，方法重載仍然很繁瑣。但是Ceylon不知道，但是在Ceylon……

5.聯(lián)合類(lèi)型

好的，這有點(diǎn)深?yuàn)W。Ceylon的創(chuàng)建者真的很想擺脫方法重載，部分原因是Ceylon也可以編譯為JavaScript，而JavaScript不知道函數(shù)重載。實(shí)際上，根本無(wú)法在Ceylon中重載方法。但是，為了能夠與Java進(jìn)行互操作，需要引入聯(lián)合類(lèi)型。聯(lián)合類(lèi)型 String|Integer可以是String或Integer。那里有方法重載！

void printType(String|Integer|Float val) { ... }     printType("hello"); printType(69); printType(-1.0);

為了“解開(kāi)”聯(lián)合類(lèi)型，您可以val通過(guò)執(zhí)行類(lèi)似于Java的類(lèi)型檢查來(lái)再次利用流敏感類(lèi)型的 參數(shù)instanceof

void printType(String|Integer|Float val) {     switch (val)     case (is String) { print("String: ``val``"); }     case (is Integer) { print("Integer: ``val``"); }     case (is Float) { print("Float: ``val``"); } }

例如，在該范圍內(nèi)， val編譯器知道該類(lèi)型 String是。這繼續(xù)允許瘋狂的東西，例如枚舉類(lèi)型，其中一個(gè)類(lèi)型可以同時(shí)是一個(gè)或另一個(gè)東西：

abstract class Point()         of Polar | Cartesian {     // ... }

請(qǐng)注意，這是由多重繼承很大的不同，其中這樣的Point會(huì)都 Polar 和 Cartesian。但這還不是全部。Ceylon也有……

6.交叉點(diǎn)類(lèi)型

現(xiàn)在，您可能已經(jīng)猜到了，這與聯(lián)合類(lèi)型的確切含義相反，而Java的泛型實(shí)際上也支持這種類(lèi)型。在Java中，您可以編寫(xiě)：

<code class="java keyword">class X> {}</code>

在上面的示例中， X僅接受Serializable 和的 類(lèi)型參數(shù) Comparable。在Ceylon，這很瘋狂，您可以在其中為本地聲明的交叉點(diǎn)類(lèi)型分配值。事實(shí)并非如此！在我們的聊天中，Gavin向我指出了這一令人難以置信的語(yǔ)言功能，其中聯(lián)合/交叉點(diǎn)類(lèi)型可以與流敏感類(lèi)型交互以形成以下內(nèi)容（由于Ceylon 1.2導(dǎo)致）：

value x = X(); //x has type X if (something) {     x = Y();     //x has type Y } //x has type X|Y

有道理吧？所以我問(wèn)他，是否可以再次與該類(lèi)型相交， Z加文說(shuō)，是的！可以完成以下操作：

value x = X(); //x has type X if (something) {     x = Y();     //x has type Y } //x has type X|Y if (is Z x) {     //x has type &Z }

之所以這樣，是因?yàn)轭?lèi)型交集也以非常有趣的方式與泛型交互。在某些情況下， 可以與相同。換句話(huà)說(shuō)，交集（和并集） 與泛型一起分布，就像加法與乘法一樣（在對(duì)“就像”的非正式理解中）。如果您愿意為此目的研究語(yǔ)言規(guī)范，請(qǐng)參見(jiàn)  §3.7.2主體實(shí)例化繼承。X&X X

現(xiàn)在，聯(lián)合和相交類(lèi)型會(huì)變得非常討厭并且難以重用。這就是Ceylon擁有……

7.輸入別名

有沒(méi)有其他編程語(yǔ)言想到過(guò)這個(gè)很棒的功能？即使您不支持聯(lián)合和/或交叉點(diǎn)類(lèi)型，這也是如此有用。考慮一下Java的泛型。隨著泛型的出現(xiàn)，人們開(kāi)始寫(xiě)類(lèi)似以下內(nèi)容的東西：

<code class="java plain">Map>> map = // ...</code>

可以說(shuō)兩件事：

1. 泛型對(duì)Java庫(kù)非常有用

2. 執(zhí)行上述操作時(shí)，泛型變得非常冗長(zhǎng)

這就是類(lèi)型別名起作用的地方?？纯催@個(gè)例子：

interface People => Set;

這里的要點(diǎn)是，即使某些冗長(zhǎng)的類(lèi)型經(jīng)常被重用，您也不需要為上述內(nèi)容創(chuàng)建顯式的子類(lèi)型。換句話(huà)說(shuō)，您不想濫用子類(lèi)型多態(tài)性作為“簡(jiǎn)化”通用多態(tài)性的捷徑。將別名視為一個(gè)可擴(kuò)展的宏，該宏可以相互分配兼容。換句話(huà)說(shuō)，您可以編寫(xiě)：

People?      p1 = null; Set? p2 = p1; People?      p3 = p2;

因此，正如“別名”一詞所暗示的那樣，您并不是在創(chuàng)建新的類(lèi)型。您只是給復(fù)雜類(lèi)型一個(gè)更簡(jiǎn)單的名稱(chēng)。但是比類(lèi)型別名更好的是……

8.類(lèi)型推斷

許多其他語(yǔ)言都具有這種功能，Java在一定程度上也是如此，至少就涉及泛型而言。Java 8在允許使用泛型進(jìn)行類(lèi)型推斷方面又走了一步。但是Java與諸如Scala或Ceylon之類(lèi)的語(yǔ)言可以使用局部變量相去甚遠(yuǎn)：

interface Foo {} interface Bar {} object foobar satisfies Foo&Bar {} //inferred type Basic&Foo&Bar value fb = foobar; //inferred type {Basic&Foo&Bar+} value fbs = { foobar, foobar };

因此，此示例顯示了許多組合的功能，包括類(lèi)型約束，序列類(lèi)型，聯(lián)合類(lèi)型。使用如此豐富的類(lèi)型系統(tǒng)，在value關(guān)鍵字指示您不想（或者您不能）顯式聲明類(lèi)型的情況下，支持這種類(lèi)型的推斷非常重要。我真的很想在Java 9中看到這一點(diǎn)！

閱讀有關(guān)Ceylon出色的類(lèi)型推斷功能的更多信息。

9.申報(bào)地點(diǎn)差異

現(xiàn)在，此功能可能很難理解，因?yàn)镴ava的泛型已經(jīng)非常難以理解。我最近閱讀了Ross Tate，Alan Leung和Sorin Lerner的一篇非常有趣的論文，內(nèi)容涉及通配符給Java泛型帶來(lái)的挑戰(zhàn)：在Java的Type System中馴服通配符。

泛型仍然是一個(gè)非?；钴S的研究主題，無(wú)論是研究人員還是語(yǔ)言設(shè)計(jì)人員都無(wú)法完全同意使用站點(diǎn)的差異（如Java）還是聲明位置的差異（如C＃，Scala或Ceylon）對(duì)于主流程序員而言確實(shí)更好。談?wù)摬町惖妮^舊語(yǔ)言是Eiffel 和OCaml。

Microsoft已在C＃中引入了聲明站點(diǎn)差異。我會(huì)引用Wikipedia中的示例，它很容易理解。在C＃中，IEnumerator接口具有協(xié)變泛型類(lèi)型參數(shù)：

interface IEnumerator {     T Current { get; }     bool MoveNext(); }

這僅意味著以下將起作用：

IEnumerator<Cat> cats = ... IEnumerator<Animal> animals = cats;

這與Java的使用站點(diǎn)差異完全不同，在Java中，上述內(nèi)容無(wú)法編譯，但以下內(nèi)容可以：

Iterator cats = ... Iterator<!-- ? extends Animal --> animals = cats;

聲明站點(diǎn)協(xié)方差的主要原因是簡(jiǎn)單的事實(shí)，即在使用站點(diǎn)上冗長(zhǎng)程度大大降低了。通配符是Java開(kāi)發(fā)人員的主要苦惱，它們引發(fā)了許多Stack Overflow問(wèn)題，因?yàn)檫@是有關(guān)本地范圍的通配符的問(wèn)題：

// Given this interface: public interface X {     E get();     E set(E e); }    // This does not compile: public void foo(X<!--?--> x) {     x.set(x.get()); }

在Ceylon語(yǔ)言之旅中可以看到，Ceylon泛型支持聲明站點(diǎn)差異，就像C＃和Scala一樣。有趣的是，由于兩種類(lèi)型的方差支持各有利弊，因此這些事情如何演變，同時(shí) Ross Tate提倡混合站點(diǎn)方差，這對(duì)于Java語(yǔ)言而言確實(shí)是一個(gè)很好的補(bǔ)充！

現(xiàn)在，這有點(diǎn)復(fù)雜，所以讓我們看一下一個(gè)簡(jiǎn)單卻很棒的功能來(lái)匯總……

10.功能和方法

斯特凡·埃帕多（Stéphaneépardaud）概述的主要內(nèi)容之一是，Ceylon語(yǔ)言是一種非常普通的語(yǔ)言。在考慮Ceylon如何對(duì)待函數(shù)（和方法，它們是類(lèi)型成員函數(shù)）時(shí)，這一點(diǎn)尤其明顯 。我可以在任何地方放置函數(shù)?？紤]以下示例：

Integer f1() => 1; class C() {     shared Integer f2() {         Integer f3() => 2;         return f3();     } }    print(f1()); print(C().f2());

在上面的示例中，

• f1()是一個(gè)包級(jí)函數(shù)(非常像Java中的“global”靜態(tài)函數(shù)）

• f2()是C類(lèi)中的常規(guī)方法

• f3()是f2()方法中的局部函數(shù)

有了Java 8對(duì)lambda表達(dá)式的支持，這些事情會(huì)變得更好一些，但是能夠以幾乎相同的語(yǔ)法在任何地方聲明函數(shù)不是很棒嗎？

結(jié)論：與Ceylon一起玩

現(xiàn)在就這樣。不久之后，我們可能會(huì)發(fā)布有關(guān)Ceylon更深?yuàn)W的語(yǔ)言功能的后續(xù)文章。無(wú)論如何，您都可以在Eclipse中通過(guò)一流的IDE支持免費(fèi)下載這種有趣的JVM語(yǔ)言。您還可以訪(fǎng)問(wèn)Ceylon文檔網(wǎng)站，并使他們的網(wǎng)站將Ceylon代碼編譯為JavaScript以在瀏覽器中執(zhí)行。