Slashdot Mirror

← Back to Stories (view on slashdot.org)

Red Hat Releases Ceylon Language 1.0.0

Posted by Unknown on from the everyone-is-doing-it dept.

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.

7 of 159 comments (clear)

  1. Cool! by warrax_666 · · Score: 5, Interesting

    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.
    1. Re:Cool! by ron_ivi · · Score: 5, Interesting

      I'd like to see a type system that can help enforce units (like mass * distance = force). If it were really lightweight (in typing) to create types with meaningful units, it could protect you from accidentally adding things like Mbits with MBytes.

    2. Re:Cool! by Just+Some+Guy · · Score: 5, Interesting

      You'd love Haskell.

      --
      Dewey, what part of this looks like authorities should be involved?
    3. Re:Cool! by Anonymous Coward · · Score: 5, Funny

      You'd love Haskell.

      I hear a lot of scheme-brained hares saying this.

      But I assure you, you're wrong.

  2. Shite by Hognoxious · · Score: 5, Insightful

    The language features, an emphasis upon readability and a strong bias toward omission or elimination of potentially-harmful constructs

    Like that comma?

    --
    Confucius say, "Find worm in apple - bad. Find half a worm - worse."
  3. Red Hat's plans by Kongming · · Score: 5, Interesting

    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)
  4. Re:Thank goodness by RightSaidFred99 · · Score: 5, Insightful

    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".