Found the new system language named Rust, currently in development stage by Mozilla group: http://wiki.github.com/graydon/rust/language-faq http://lambda-the-ultimate.org/node/4009 https://github.com/downloads/graydon/rust/rust-2010-07-08-snap.pdf
It uses both a more normal GC and reference count, for different purposes. This can be a good idea. It allows to use both mutable and immutable data, the default is immutable. It uses an idea named "Typestate" that I have just started reading about. Logging is built-in and done widely. It tries to follows some of the reliability ideas from Erlang. It looks quite more complete than the Go language. Bye, bearophile
