BitC, bitches

BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C.

http://www.bitc-lang.org/

(Decent (idea, (but) worst syntax) '(ever)). I'd consider using it if it was ML-like.