Comment by kragen

Of course the obvious question is "What kind of memory management does it use?"

It uses a "linear" (actually affine) type system for memory management, with borrowed refs similar to Rust, but evidently without tracking mutability: https://github.com/carp-lang/Carp/blob/master/docs/Memory.md

The omission of the kind of mutability tracking that eases multithreading seems like a significant drawback for its target application domain.