Stab Language (like C#) for the JVM
code.google.com
code.google.com
BTW, another good tip is to always look first at the source code itself, ignoring the documentation or website style. That will keep you away from a lot of pain.
Wishing Stab good luck, the more languages, the better!
Because the Java platform does not have a common interface
to specify disposable objects, the Stab compiler uses the
stab.lang.Dispose annotation to find the method to call to
dispose the instances of a given type.
Java has Closeable to specify this.http://docs.oracle.com/javase/1.5.0/docs/api/java/io/Closeab...
Edit: See http://stackoverflow.com/questions/1165428/should-closeable-...
http://docs.oracle.com/javase/7/docs/api/java/lang/AutoClose...
Source at Google Code: http://stab-language.googlecode.com/svn/trunk/.
Seems to be available on Github now as well: https://github.com/eropple.
(not 100% clear on the licensing issues, but it sounds like 'free as in beer'.)
From that I'd conclude that these are not really 'design goals', but rather requirements.
As a C# developer it looks like the main design goals should have been formulated in terms of C#'s design goals (insofar as those differ from Java). Because it looks like this project is about porting C# language features not found in Java to a language that otherwise looks more or less like Java (to my untrained eye).
Many of the features listed are implemented by C# in the compiler (and some library code), not the runtime. So that makes it seem like a perfectly reasonable project to me.
To the language creator: please write a more informative description of the language's goals, because the whole point of something that's not just a research/toy language is to get people using it!