Данил Яранцев Yardanico

Да, вы правы, в 1.4 есть ARC в котором реализованы семантики перемещений + счётчик ссылок, ну и ORC, как надстройка над ARC, но именно семантик владения нет — планируется реализовать https://github.com/nim-lang/RFCs/issues/144 в Nim 2.0 (https://github.com/nim-lang/RFCs/issues/177 — "#144 is not dead but scheduled for Nim version 2 which is a couple of years away. "), но не сейчас (много кода нужно изменять и так далее).

xomachine скорее всего имеет ввиду Кольцевой связный список, и я не вижу, как его можно реализовать хотя бы без RC чисто с владением.

Ещё почитайте https://news.ycombinator.com/item?id=16443688, коротко говоря — в Rust довольно сложно делать циклические структуры по сравнению с большинством других языков.

Ещё вот — https://rcoh.me/posts/rust-linked-list-basically-impossible/

Есть when defined (gcDestructors) — но это мало где нужно, в большинстве случаев никаких изменений не нужно, только если оптимизации именно для ARC (я про вещи типа sink/lent). И да, ARC — это automatic reference counting (ну и move semantics), это не atomic reference counting (некоторые путают с ARC в Swift)

Насчёт GC хотелось бы уточнить — конечно проводится много работы в сторону ARC/ORC, но дефолтным GC в будущем будем скорее всего ORC (ARC со сборщиком циклов). ARC сам по себе не является полноценным GC, это так. Просто немного неправильно звучит "избавиться от GC" :)

Можете попробовать Nim, там тоже нативный код с опциональным GC, к тому же ведётся работа над деструкторами, кросс-компиляция как в Си (Nim компилируется в Си), никаких виртуальных машин и максимальная производительность (на уровне близком к чистому Си при правильном использовании языка)

from sequtils import nil
echo sequtils.repeat('h', 15)