> Any sane programmer would highly doubt existence of a (faster_than_C && safer_than_java) claim.

I dunno, mlton was of that order and that was ages ago.