On: The next operating system: building an OS for hund...

[vilya]

BitC maybe (if it ever reaches a stable 1.0 release): http://www.bitc-lang.org/

Cyclone would be another candidate: http://cyclone.thelanguage.org/

Cilk would be another interesting option, with its built-in support for concurrency: http://software.intel.com/en-us/articles/intel-cilk-plus/