gavinking

Ceylon Services Example

This tiny example demonstrates the use of Ceylon [service providers][] in the JavaScript environment. Service providers are an abstraction of, and [interoperate][] with, Java's [service loaders][], but are not tied to the Java platform, and can even work cross-platform.

gavinking

Typesafe Records for Ceylon

The example demonstrates the use of Ceylon's powerful type system to define typesafe heterogenous maps, otherwise known as record types.

• records.ceylon defines a tiny library for creating records
• keys.ceylon defines example typesafe keys

gavinking

import ceylon.time { Instant, DateTime }

shared void run() {
    dynamic {
        //create a JavaScript Date
        dynamic date = Date();
        print(date);
        //convert it to a Ceylon DateTime
        DateTime dt = Instant(date.getTime()).dateTime();
		print(dt);

gavinking

import ceylon.collection {
    ArrayList
}

"Create a typesafe proxy for the given [[instance]], that
 intercepts method calls and attribute evaluations."
Instance proxy<Instance>(Instance instance)(call, get) {

    "Intercepts method invocations. Delegate to the method
     of [[target]] by calling `method(args)`."

gavinking

Ceylon Solar System Example

This little example application demonstrates the use of Ceylon as an alternative to client-side JavaScript. In particular, the example shows:

• a simple, typesafe, object-oriented program,
• dependence on an external [cross-platform math module][xmath] written in Ceylon and hosted on