“Go” programming language
Before everyone gets too excited about the “Go” language, let’s not forget it lacks:
- Exceptions
- Assertions
- Inheritance
- Generic types
Generics are necessary to express concepts like List<List<MyType>>. If you are in to static typing, then you need to be able to express those concepts. (And if you are not, then a statically typed language like Go is not for you anyway.)
Obviously it has good features as well, such as its concurrency constructs and type inference, but without those features above, I can’t see how you can do any useful modeling in the language; or rather how can you can express a useful model in the language without losing a lot of information.
http://golang.org/doc/go_lang_faq.html
Perhaps those features will be added in future versions.
I do like static typing, but you need templates, or generics as they are now called to really leverage some power. Why not have assertions. They have absolutely no downside in a compiled language. And exceptions are a must, and without inheritance, aren’t you back at everything is an object.
I haven’t actually had a proper look at it, so these are only my initial thoughts, shouldn’t rush to judgement.