Bio
Gavin King is a Distinguished Engineer at Red Hat. He's the creator of Hibernate, a popular persistence solution for Java and of the Ceylon programming language. He 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. He's currently a major contributor to the design of Jakarta Data and Jakarta Persistence. He lives in Barcelona with his wife and three daughters. His active interests include theoretical physics and quantum technologies.
Tags
Authors
Is the Ceylon type system sound?
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 :-)
Introduction to Ceylon Part 7
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.
Introduction to Ceylon Part 6
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.
Introduction to Ceylon Part 5
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.
Introduction to Ceylon Part 4
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.
Introduction to Ceylon Part 3
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.
Introduction to Ceylon Part 2
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.
Ceylon presentation video
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. :-/
Introduction to Ceylon Part 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.
Ceylon presentation: a clarification
There's a point I make in my Introducing the Ceylon Project presentation that's been widely misunderstood (perhaps mainly by people who're trying to misunderstand). Since I've been criticized over this in several venues, it merits a response. The offending statement is the following:
