Ceylon (programming language)

<h2 id="language-features">Language features</h2>
<p>Ceylon is heavily influenced by <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a>'s syntax, but adds many new features.
</p>
<h3>Type system</h3>
<p>One of the most novel aspects of Ceylon compared to Java is its <a href="/facts/Type_system/Tz0bAMS9">type system</a>. Ceylon foregoes Java's primitive types<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> and <a href="/facts/Object_type/a49SD1kP">boxing</a> in favor of a type system composed entirely of first-class objects. While this may cause boxing overhead in some situations, it makes the type system more uniform.
</p><p>Ceylon allows for union and <a href="/facts/Intersection_type/vYpLCHAI">intersection types</a>, in a similar fashion to <a href="/facts/TypeScript/W9J27V1N">TypeScript</a>, <a href="/facts/Whiley_(programming_language)/qzFD6d6t">Whiley</a> and Flow, which in fact, took the idea from Ceylon.
</p><p>Union types, written A|B, allow a variable to have more than one type. The following example shows a Ceylon function which may take either an <a href="/facts/Integer_(computer_science)/zWabo5M9">integer</a> or a <a href="/facts/String_(computer_science)/4ChJu5WS">string</a>:
</p>
shared void integerOrString(Integer|String input) {
    if (is Integer input) {
        print("Got the integer ``input``");
    } else {
        print("Got the string '``input``'");
    }
}

<p>Intersection types, written A&B, are the theoretical foundation of <a href="/facts/Flow-sensitive_typing/SE4kRE9W">flow-sensitive typing</a>:
</p>
shared void integerOrString(Integer|String input) {
    Integer added = input + 6; // illegal; the + operator is not defined on Integer|String

if (is Integer input) {
        Integer added = input + 6; // legal; input is now known to be an Integer
        print("Got the integer ``input``");
    } else {
        print("Got the string '``input``'");
    }
}

<p>The condition is Integer input narrows the type of input to <Integer|String> & Integer,
which <a href="/facts/Distributive_property/0LNBrVJl">distributes</a> to Integer&Integer | String&Integer,
which, as String and Integer are disjoint types, is equivalent to Integer&Integer | Nothing (Nothing is the empty bottom type),
which simplifies to just Integer.
</p>
<h4>Null safety</h4>
<p>Union and intersection types are used to provide <a href="/facts/Null_safety/XH0BI8cE">null safety</a>.
The top type of the Ceylon type hierarchy is the class Anything,
which has two subclasses: Object, the superclass of all normal classes and all interfaces, and Null, with the only instance <a href="/facts/Null_pointer/66zwVEfL">null</a>.
Since Object and Null are disjoint types, most regular types like Integer or List<String> are not nullable;
a <a href="/facts/Nullable_type/0jI1MoNq">nullable type</a> is the union Integer|Null, abbreviated Integer?.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a>
</p><p>Intersection types can be used to get a non-optional type out of a possibly-optional type, such as a type parameter. For example, the signature of a function that removes null elements from a stream of values could be:
</p>
Iterable<Element&Object> removeNulls<Element>(Iterable<Element> stream);

<p>When removeNulls is called with a stream of Integer|Null elements, the result will be a stream of <Integer|Null> & Object elements, which simplifies to Integer.
</p>
<h4>Functions</h4>
<p>Similarly to many modern languages, Ceylon supports <a href="/facts/First_class_function/dtMzp81k">first class functions</a> and <a href="/facts/Higher_order_function/VjnjGbpt">higher order functions</a>, including function types and <a href="/facts/Anonymous_function/2vdyE4zL">anonymous functions</a><a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a>
</p>
// A top-level higher-order function using block syntax (not associated with any user-created classes)
String process(String text, String transformString(String toChange)) {
    return transformString(text);
}

// A top-level function calling String.reverse in expression form.
String reverse(String text) => text.reversed;

// A function reference to String.reversed but mostly equivalent to the function above.
String(String) reverseFunctionReference = String.reversed;

// An example where the top-level function above is provided as an argument to the higher-order function above
String reversed1 = process("one", reverse);

// An example where an anonymous function - (text) => text+text - is provided to the higher-order function above. 
String reversed2 = process("one", (text) => text+text);

<h4>Enumerated types</h4>
<p>Similar to Java and many other languages, and with a similar mechanism as <a href="/facts/Algebraic_data_type/Fn9KhnAb">algebraic types</a>, Ceylon supports <a href="/facts/Enumerated_type/oQITgIYb">enumerated types</a>, otherwise known as enums. This is implemented in Ceylon with a pattern of limiting the instances of an abstract class at declaration to a limited set of objects (in this case, singleton instances). Another way to implement this pattern is with the new constructor feature in Ceylon 1.2 where the objects are implemented as different named constructor declarations.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a>
</p>
// Traditional syntax for enumerated type, in this case, limiting the instances to three objects(for this purpose: Singletons)
abstract class Vehicle(shared String name) of plane | train | automobile {}

object plane extends Vehicle("plane") {}
object train extends Vehicle("train") {}
object automobile extends Vehicle("automobile") {}
// Compile error: type is not a subtype of any case of enumerated supertype: 'boat' inherits 'Vehicle'
//object boat extends Vehicle("boat") {}

// New (as of Ceylon 1.2.0) constructor-based syntax
class Vehicle of plane | train | automobile {
    String name;

abstract new named(String pName) {
        name = pName;
    }

shared new plane extends named("plane") {}
    shared new train extends named("train") {}
    shared new automobile extends named("automobile") {}
    // Compile error: value constructor does not occur in of clause of non-abstract enumerated class: 'boat' is not listed in the of clause of 'Vehicle'
    //shared new boat extends named("boat") {}
}

<h4>Type inference</h4>
<p>Ceylon is strongly and statically typed, but also has support for <a href="/facts/Type_inference/vX9K8Qhf">type inference</a>.
The value keyword is used to infer the type of a variable,
and the function keyword is used to infer the type of a function.
The following two definition pairs are each equivalent:
</p>
Integer i = 3;
value i = 3;

Integer add(Integer i1, Integer i2) {
    return i1 + i2;
}
function add(Integer i1, Integer i2) {
    return i1 + i2;
}

<p>However, to make single-pass type inference possible, type inference is only allowed for non-toplevel and unshared declarations.<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a>
</p>
<h3>Entry point with names</h3>
<p>By default the starter (ceylon run) runs the shared run() function of a module:
</p>
/* The classic Hello World program */
shared void run() {
    print("Hello, World!");
}

<p>but any other shared function without parameters can be used as main calling the program with the <i>run</i> parameter, like this:
</p><p>ceylon run --compile=force --run hello default
</p>
<h2 id="versions">Versions</h2>
<p>Versions of Ceylon released:<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a>
</p>
<ul><li>M1 0.1 "Newton" (Dec 20 2011)</li>
<li>M2 0.2 "Minitel" (Mar 2 2012)</li>
<li>M3 0.3 "V2000" (Jun 21 2012)</li>
<li>M3.1 0.3.1 "V2000" (Jul 6 2012)</li>
<li>M4 0.4 "Analytical Engine" (Oct 29 2012)</li>
<li>M5 0.5 "Nesa Pong" (Mar 13 2013)</li>
<li>M6 0.6 "Virtual Boy" (Sep 23 2013)</li>
<li>1.0 beta "Virtual Boy" (Sep 24 2013)</li>
<li>1.0.0 "No More Mr Nice Guy" (Nov 13 2013)</li>
<li>1.1.0 "Ultimate Ship The Second" (Oct 09 2014)</li>
<li>1.2.0 "A Series of Unlikely Explanations" (Oct 28 2015)</li>
<li>1.2.1 "Irregular Apocalypse" (Feb 11 2016)</li>
<li>1.2.2 "Charming But Irrational" (Mar 11 2016)</li>
<li>1.3.0 "Total Internal Reflection" (Sep 19 2016)</li>
<li>1.3.1 "Now We Try It My Way" (Nov 22 2016)</li>
<li>1.3.2 "Smile Tolerantly" (Mar 02 2017)</li>
<li>1.3.3 "Contents May Differ" (Aug 21 2017)</li></ul>
<h2 id="license">License</h2>
<p>All parts of Ceylon are available as <a href="/facts/Free_software/IaoVtJXn">free software</a>, mostly the <a href="/facts/Apache_License/5AeIjas8">Apache License</a>.<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> Part of the source code is licensed under LGPL.
</p>
<h2 id="see-also">See also</h2>
<ul>
<li>Free and open-source software portal</li></ul>
<ul><li><a href="/facts/Dart_(programming_language)/xJ8tE6Tl">Dart (programming language)</a>, has its own VM, compiles to JS, type system not very strict, supports <a href="/facts/Mixin/QHG68mgY">mixins</a></li>
<li><a href="/facts/Fantom_(programming_language)/pgpD7oBN">Fantom (programming language)</a>, compiles to JVM, type system not very strict, supports <a href="/facts/Mixin/QHG68mgY">mixins</a></li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://ceylon-lang.org/">Official website</a> </li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>"Ceylon 1.0 beta". Retrieved 2013-09-26. <a href="http://ceylon-lang.org/blog/2013/09/22/ceylon-1/" target="_blank">http://ceylon-lang.org/blog/2013/09/22/ceylon-1/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>"Project Ceylon – Red Hat builds Java replacement". The Register. 2011-04-13. Retrieved 2011-11-27. <a href="https://www.theregister.co.uk/2011/04/13/red_hat_unveils_project_ceylon" target="_blank">https://www.theregister.co.uk/2011/04/13/red_hat_unveils_project_ceylon</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>King, Gavin (2012-01-10). "Principles that guide this project". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/blog/2012/01/10/goals/" target="_blank">http://ceylon-lang.org/blog/2012/01/10/goals/</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>"FAQ about language design: Goals". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/documentation/1.2/faq/language-design/#goals" target="_blank">http://ceylon-lang.org/documentation/1.2/faq/language-design/#goals</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Festal, David (2014-10-10). "Write in Ceylon, deploy as OSGI, use in Java EE". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/blog/2014/10/10/ceylon-osgi-jee/" target="_blank">http://ceylon-lang.org/blog/2014/10/10/ceylon-osgi-jee/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>"Maven repositories". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/documentation/1.2/reference/repository/maven/#maven_repositories" target="_blank">http://ceylon-lang.org/documentation/1.2/reference/repository/maven/#maven_repositories</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
<li id="fn:7"><p>"Features of Ceylon IDE". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/documentation/1.2/ide/features/" target="_blank">http://ceylon-lang.org/documentation/1.2/ide/features/</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li>
<li id="fn:8"><p>"ceylon / ceylon". GitHub, Inc. 2020-05-25. Archived from the original on 2023-10-03. Retrieved 2024-01-22. <a href="https://github.com/eclipse-archived/ceylon" target="_blank">https://github.com/eclipse-archived/ceylon</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li>
<li id="fn:9"><p>"Eclipse Ceylon™ Termination Review". Eclipse Foundation. 2023-04-05. Archived from the original on 2023-04-23. Retrieved 2023-04-23. <a href="https://projects.eclipse.org/projects/technology.ceylon/reviews/termination-review" target="_blank">https://projects.eclipse.org/projects/technology.ceylon/reviews/termination-review</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li>
<li id="fn:10"><p>King, Gavin. "Ceylon: Language Design FAQ". <a href="http://ceylon-lang.org/documentation/faq/language-design/" target="_blank">http://ceylon-lang.org/documentation/faq/language-design/</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li>
<li id="fn:11"><p>King, Gavin. "The Ceylon Language: §1.4.3 Compile-time safety for null values and flow-sensitive typing". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/documentation/1.2/spec/html_single/#compiletimesafety" target="_blank">http://ceylon-lang.org/documentation/1.2/spec/html_single/#compiletimesafety</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li>
<li id="fn:12"><p>King, Gavin. "The Ceylon Language: 4.7 Functions". Retrieved 5 December 2015. <a href="http://ceylon-lang.org/documentation/1.2/spec/html/declarations.html#functions" target="_blank">http://ceylon-lang.org/documentation/1.2/spec/html/declarations.html#functions</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li>
<li id="fn:13"><p>King, Gavin. "The Ceylon Language: 4.5.8 Enumerated classes". Retrieved 6 December 2015. <a href="http://ceylon-lang.org/documentation/1.2/spec/html/declarations.html#classeswithcases" target="_blank">http://ceylon-lang.org/documentation/1.2/spec/html/declarations.html#classeswithcases</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li>
<li id="fn:14"><p>King, Gavin. "The Ceylon Language: §3.2.9 Type inference". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/documentation/1.2/spec/html_single/#typeinference" target="_blank">http://ceylon-lang.org/documentation/1.2/spec/html_single/#typeinference</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li>
<li id="fn:15"><p>https://ceylon-lang.org/download-archive/ Ceylon: Download Previous Ceylon versions <a href="https://ceylon-lang.org/download-archive/" target="_blank">https://ceylon-lang.org/download-archive/</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li>
<li id="fn:16"><p>"Ceylon: Licenses". Retrieved 2015-12-04. <a href="http://ceylon-lang.org/code/licenses" target="_blank">http://ceylon-lang.org/code/licenses</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li>
</ol>

Ceylon (programming language) open-in-new

Ceylon (programming language)