Have you ever wondered if there is a functional programming language without garbage collector? I have. ATS is very interesting (prototype?) language which compiles to C with great guarantees about resources safety, like Rust.