Carlos is an imperative, block structured programming language. It has much in common with C, but is an applications language, not a systems language. It features heap-allocated arrays and records without explicit pointers, automatic garbage collection, a built-in immutable string type, and functions which may be nested and overloaded (but are not first-class values).