Существует ли язык с RAII + Касательно подсчета, который не имеет небезопасного указателя arithmetric?

RAII = Приобретение Ресурса является Инициализация

Касательно подсчета = "GC бедного человека"

Вместе, они довольно мощны (как касательно - считал 3D объект, содержащий VBO, который он бросает, освобождает, когда это - деструктор, назван).

Теперь, вопрос - RAII существует на каком-либо языке помимо C++? В частности, язык, который не позволяет указатель arithmetric / переполнение буфера?