A compiled language with some nice type inference and a garbage collector. - View it on GitHub