Язык программирование с продвинутой системой типизации, который компилируется в си. Особенностью является python-подобный синтаксис и выбор между разными garbage collector'ами, а также возможностью их отключения.