Глянь на Haskell и OCaml. Они компилируемые (в нативный код, а не в VM), поэтому есть шанс, что могут подойти тебе.

P.S. сам ими не пользовался, поэтому это лишь предположение.