In Relation To

In Introduction to Ceylon Part 8 we discussed Ceylon's support for defining higher order functions, in particular the two different ways to represent the type of a parameter which accepts a reference to a function. The following declarations are essentially equivalent:

We've talked quite a lot about union types, and even seen some of their many applications, but one thing I didn't mention is that they can be used as a kind of checked exception facility. Consider the following method declaration:

In Ceylon, the following class has an initializer with two locals:

This is the eleventh installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

This is the tenth installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

This is the ninth installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

This is the eighth installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

So I've been reading some folks demanding that work on Ceylon start with a formal proof of the soundness of the type system. And calling me all sorts of names because I don't have one yet. I'm a bit bemused by this, since it's the first time in history that this has been demanded of a language designed for use in practical computing :-)

This is the seventh installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

This is the sixth installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.