The X10 language has type annotations

[Michael Ernst]

The X10 language has type annotations -- in fact, it permits annotations on
every AST node, including declarations (as in Java), types (as in JSR 308),
and statements. It is interesting, though not surprising, that
forward-looking language designs include this functionality.

As background, X10 is a new language from IBM, primarily aimed at high
performance and low programming effort, for parallel and distributed
computing. The X10 team consists of 40 people at IBM, plus collaborators
from outside IBM. You can learn more at http://x10-lang.org/.

-Mike

[Richard Gomes]

Hi Mike,

Just to provide some more information to the list about this subject...

I'm porting some code from Java and Scala to IBM/X10.
X10 provides some very useful features, which are long desired by the
community, like:

* Closures
* Constraints
* Generics (true, reified Generics, I mean!)
* Type annotations
* C-like structs
* C++ -like typedefs
* Better semantics constructions (IMHO) for multithreading.
* Unsigned arithmetic (9 years now!)
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4504839

Also, due to the way arrays are allocated, in conjunction with reified
Generics, X10 also provides JCF-like classes backed by arrays of
primitive types, which improves performance because boxing/unboxing are
not needed and because there's no extra cost for object
allocation/reclaiming.

Thanks :)

Richard Gomes
M: +44(77)9955-6813
http://tinyurl.com/frgomes
twitter: frgomes

JQuantLib is a library for Quantitative Finance written in Java.
http://www.jquantlib.org/
twitter: jquantlib