Re:Roc – A fast, friendly, functional language
by downvotetruth on Monday November 20, 2023 @12:57PM
(#38351595)
> hidden («opportunistic») mutability
> no borrowing and borrow problems
Not to say the borrow checker is perfect, but the BC disallowing > 1 RC, in the ideal no escape hatch scenario (no unsafe, etc.), is a stronger theoretical constraint than Roc optimizing to mutability in the case of 1 RC.
Not to say the borrow checker is perfect, but the BC disallowing > 1 RC, in the ideal no escape hatch scenario (no unsafe, etc.), is a stronger theoretical constraint than Roc optimizing to mutability in the case of 1 RC.