> In addition to BitC, there's also Cyclone, Rust, ATS, and Deca -- all of which are in various stages of development. ATS has a stable release, IIRC, Rust is in alpha, Cyclone has made a release but development stopped, and Deca is in active pre-alpha development.
There is also Clay (http://claylabs.com/clay/) which keeps a low profile, but there are a lot of work being done on it. What I like best there is that it has no complicated run-time system, which is an obvious plus if you want to supplant C, and that it does whole program optimization right out of the box, no old-fashioned notions about separate compilation units.
Yes, sorry, I love Clay, but this field has gotten large enough that I don't always remember every contender when I list them out. For example, there's also Habit and Tart.
There is also Clay (http://claylabs.com/clay/) which keeps a low profile, but there are a lot of work being done on it. What I like best there is that it has no complicated run-time system, which is an obvious plus if you want to supplant C, and that it does whole program optimization right out of the box, no old-fashioned notions about separate compilation units.