In Relation To

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.

This is the fifth 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 fourth 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 third 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 second installment in a series of articles introducing the Ceylon language. Note that some features of the language may change before the final release.

InfoQ posted a video of my presentation in China. This being the first time I had ever tried to talk about the language in front of other people, I'm quite disfluent, and even say some stuff that isn't even correct. I certainly don't do a great job of explaining some things. Well, I'm sure that with all the conference invitations that have suddenly started filling up my inbox, I'll be getting plenty of practice. :-/

The JCP posted that the CDI 1.1 spec received almost unanimous approval (everyone voted yes except VMWare, who didn't vote at all). The expert group has already started considering issues, and I would like to welcome anyone who has an interest in CDI to join. The homepage for CDI 1.1 development is on github, and provides a set of resources to get you started (more will be posted over time). A previous blog covers what we hope to see improved in CDI 1.1.

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