Bio
Gavin King is a Distinguished Engineer at Red Hat. He is the creator of Hibernate, a popular object/relational persistence solution for Java, the Ceylon programming language, and the Seam Framework, an application framework for enterprise Java. He's contributed to the Java Community Process as JBoss and then Red Hat representative for the EJB and JPA specifications and as spec lead and author of the CDI specification.
Gavin now helps lead the Quarkus project, focusing on data access technologies and developer usability experience.
Tags
Authors
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.
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.