HYW-1902 A deep dive into Ceylon's type system | Devoxx

A deep dive into Ceylon's type system

BOF (Bird of a Feather)

lang Langages alternatifs

Neuilly 253

jeudi at 19:30 - 20:30

Modern object-oriented languages with static typing feature two key mechanisms for abstraction: subtyping and parametric polymorphism (generics). However, in practice, the combination of these two concepts has not always been completely satisfying. Ceylon is a new language that features the most elegant approach so far. This session explains the ideas behind Ceylon's unique type system.

Warning: this session is not an introduction to Ceylon! It deals with type theory, but at a basic and informal level.

Gavin King Gavin King

Gavin King leads the Ceylon project at Red Hat. Gavin is the creator of Hibernate, a popular object/relational persistence solution for Java, 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 lead of the CDI specification.

Gavin now works full time on Ceylon, polishing the language specification, developing the compiler frontend, working on the IDE, and thinking about the SDK and future of the platform. He's still a fan of Java, and of other languages, especially Smalltalk, Python, and ML.