Так вот, есть concurrency patterns, которые нельзя запрограммировать на чисто лексической синхронизации. Аналогично есть схемы владения памятью, которые нельзя выразить лексическим владением. А если владение не лексическое, то либо ручной malloc/free
, либо GC (включая RC, который ровно по этим причинам в Rust и так есть).