Submission + - Red Hat releases Ceylon language 1.0.0 (ceylon-lang.org)
Gavin King writes: Ceylon 1.0 is a modern, modular, statically typed programming language for the Java and JavaScript virtual machines. The language features:
- an emphasis upon readability and a strong bias toward omission or elimination of potentially-harmful constructs,
- an extremely powerful type system combining subtype and parametric polymorphism with declaration-site variance, including first-class union and intersection types, and using principal types for local type inference and flow-dependent typing,
- a unique treatment of function and tuple types, enabling powerful abstractions,
- first-class constructs for defining modules and dependencies between modules,
- a very flexible syntax including comprehensions and support for expressing tree-like structures, and
- fully-reified generic types, on both the JVM and JavaScript virtual machines, and a unique typesafe metamodel.
More information about these language features may be found in the feature list and quick introduction.
