Не заметил по описанию языка, но это- очередной эксперимент и из языка на этот раз выкинули указатели.> -- Цитата:
> Novel Programming ModelsConventional programming models are too low-level to support the development of correct programs. In particular, the concept of pointers is an ample source of potential inconsistencies. This project aims at a pointer-free imperative programming model, including component technology and concurrency.(со страницыhttp://www.jg.inf.ethz.ch/wiki/Group/Research).