Carp, a compiled Lisp with type inference and a borrow checker
I really want to like Carp but I somehow feel that the Rusty memory model does not fit the Lisp philosophy... all the borrowing story comes from a basis mutability.<p>I wish for something more Clojurish based on immutable data.  Then one can exploit the power of inferred type linearity&#x2F;affinity to transparently build safe &quot;transients&quot; and other cool stuff.  Maybe some day I should write such Lisp myself on top of my C++ immutable data structures [1] :-)<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;arximboldi&#x2F;immer" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;arximboldi&#x2F;immer</a>