Ceylon has a powerful static type system that prevents many bugs while letting you express more, more easily: union types, intersection types, higher order functions, mixin inheritance, and enumerated types.
We spend more time reading other's code than writing our own. Therefore, Ceylon prioritizes readability, via a highly regular syntax, support for treelike structures, and elegant syntax sugar where appropriate.
Ceylon controls complexity with clarity. The language eschews magical implicit features with ambiguous corner cases. The compiler follows simple, intuitive rules and produces meaningful errors.
Modularity is at the very core of the language, SDK and tooling. The compiler produces module archives which are then distributed via a next-generation repository architecture with Ceylon Herd as its social focus point.
Static typing is the technology that enables killer tools. Ceylon comes with a complete command line toolset, and a fully-fledged Eclipse based IDE with searching, refactoring, quick fixes + assists, autocompletion, debugging, and much more.