pure-lang - nicht das man noch mehr Programmiersprachen haben muss, aber diese baut auf LLVM als Backend auf, was sehr interessante Möglichkeiten eröffnet (speziell was Performance angeht).