c言語、c++に代わるシステムプログラミング言語を目指しており、構文的にはc++に似ているが、「ボローチェッカー」(borrow checker)で参照の有効性を検証することによってメモリ安全性を保証できる。