Is there a programming language that would have:

Question

I am curious about such thing... Is there a programming language that would have:

• syntax such as Java and/or C++
• templates/generics support
• memory management (no garbage collection)
• "clean syntax" (no mess like perl or c/c++)
• "normal" OOP (polyphormism, interfaces, abstract classes, overloading and etc.)
• (preferably) compiles to machine code
• namespace support
• exception support
• no source preprocessor (as is in c\c++)
• statically typed

Answer 1

• Vala - designed as unmanaged C# for gnome
• D - Built on c but simpler than C++. I think it has some kind of GC though
• The new versions of Delphi, doesn't have curly brace syntax though