Red Hat Releases Ceylon Language 1.0.0 159
First time accepted submitter Gavin King writes with news that the Ceylon language hit 1.0 "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 may be found in the feature list and quick introduction."
If you think Ceylon is cool, you might find Ur/Web interesting too.
Re:Enough already. (Score:4, Informative)
D does! [dlang.org]. But D also has so [dlang.org] many [dlang.org] neat [dlang.org] features. [dlang.org]
D is wonderful, and it can interop with C / C++ or write inline ASM for you micro-optimists out there.
Re:harmful constructs (Score:2, Informative)
That example does not compile in Ceylon with a compile error that disproves your claim:
expression must be of boolean type: Integer is not assignable to Boolean
variable value x = 3;
if ( x = 4 )
{
}
Re:harmful constructs (Score:4, Informative)
That example does not compile in Ceylon with a compile error that disproves your claim:
expression must be of boolean type: Integer is not assignable to Boolean
variable value x = 3;
if ( x = 4 ) {
}
if(x=true) ...
This is still bad.