Slashdot Mirror
Red Hat Releases Ceylon Language 1.0.0
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.
One of the few languages in recent times with an interesting type system which isn't just a trivial rehash of existing (in practice) ones.
HAND.
Like that comma?
Confucius say, "Find worm in apple - bad. Find half a worm - worse."
Honestly, I'd be happy with just a C variant with built-in string support.
I read TFA and all I got was this lousy cookie
I have no interest in a new language that has concurrency story at all.
Any new language needs to address the biggest development challenge of this time - coding for multiple cores.
D does!. But D also has so many neat features.
D is wonderful, and it can interop with C / C++ or write inline ASM for you micro-optimists out there.
People do not think in types.
Piaget would disagree with you.
http://en.wikipedia.org/wiki/Schema_(psychology)
(no sig)
There are too many programming languages.
Some people describe the recent increase in the number of languages as the Cambrian explosion, but what we need now is a mass extinction.
I am curious as to Red Hat's practical motivations for creating this language. Specifically, do they plan on integrating it in their existing business or projects in any way?
(no sig)
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.
Only once.
That's the point - you can never re-assign to a variable.
It felt like a kick in the monads.
I should use this sig to advertise my book ISBN-13 : 978-1501515132.
Serendib is the Arabic name for the Island, and Serendip in Persian. A Persian folk tale "The Three Princes of Serendip" became known in England through a 16th century Italian translation. The protagonists of that story were in the habit of discovering of things they were not seeking. In 1754 Horace Walpole, English writer and parliamentarian, coin the English word "serendipity" to capture that happy characteristic.
Taprobane, a Greek name for the island, would be another literary allusion.
In the land of the blind, the one-eyed man is king.
No, he probably means writing gobs and gobs and gobs of difficult to support and debug software. But yours is right too,
Fuck using a scripting language for anything beyond a "script".
Pure practicality?
PHP didn't even start out as a programming language. Even now, you can happily look at it as a bunch of stuff that makes it easy for people make dynamic websites. It is clearly quite successful. It's successful because it was really good at doing the job it was, er, "designed" to do.
PHP, then, would fall neatly under the "successful languages" category.
Hate it all you want. Bitch and moan on Slashdot 'till your fingers bleed. It's not going away any time soon. There is no alternative that is even half as easy to set up and use. There is no suitable replacement. That "unusable" language just happens to be the best thing around.
I point out this obvious fact because it drives morons incapable of forming their own opinions crazy. With any luck, they'll stop polluting every programming related thread with their miserable whining.
Required reading for internet skeptics