> Его главная проблема в том, что он метит скорее к высокоуровенным языкам,

высокоуровневые это C? он от сишника недалеко ушёл, и вынос некоторых вещей на уровень стиля программирования и проверку части ошибок на компилятор не сильно его приближает к жабам и окамлам. ИМХО то, что заказывали: "низкоуровневое" как C, чуть более безопасное, как C++. Это просто мои соображения, категорично утверждать не буду.

> и в плане безопасности от тех же плюсов без использования GC не ушёл никуда.

насколько я знаю использует подсчёт ссылок. уже хорошо.