Carp is memory safe via linear types + references, similar to Rust, so I would not describe it as C-like but rather Rust-like.