Bio
Gavin King is a Red Hat Distinguished Engineer working at IBM. 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
Introduction to Ceylon Part 10
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.
Introduction to Ceylon Part 9
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.
Introduction to Ceylon Part 8
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.
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.
