Does this language have its niche | future?

Question

I am working on a new language, targeted for web development, embeding into applications, distributed applications, high-reliability software (but this is for distant future).

Also, it's target to reduce development expenses in long term - more time to write safer code and less support later. And finally, it enforces many things that real teams have to enforce - like one crossplatform IDE, one codestyle, one web framework.

In short, the key syntax/language features are:

1. Open source, non-restrictive licensing. Surely crossplatform.

2. Tastes like C++ but simpler, Pythonic syntax with strict & static type checking. Easier to learn, no multiple inheritance and other things which nobody know anyway :-)

3. LLVM bytecode/compilation backend gives near-C speed.

4. Is has both garbage collection & explicit object destruction.

5. Real OS threads, native support of multicore computers. Multithreading is part of language, not a library.

6. Types have the same width on any platform. int(32), long(64) e.t.c

7. Built in post and preconditions, asserts, tiny unit tests. You write a method - you can write all these things in 1 place, so you have related things in one place. If you worry that your class sourcecode will be bloated with this - it's IDEs work to hide what you don't need now.

8. Java-like exception handling (i.e. you have to handle all exceptions)

I guess I'll leave web & cluster features for now...

What you think? Are there any existing similar languages which I missed?