You can't really have a totally safe systems programming language (correct me if I'm wrong here). It depends what you mean by totally safe, but Cyclone (http:/

You can't really have a totally safe systems programming language (correct me if I'm wrong here). It depends what you mean by totally safe, but Cyclone (http://cyclone.thelanguage.org/ http://cyclone.thelanguage.org/) is a type and memory safe dialect of C. It works by adding additional information to the type of every pointer, e.g. if it can be NULL, if it's NUL terminated, if you know the length, the scope it was allocated in, the location on the stack it's from, etc... This all happens at compile time, and it runs about the same speed as C, so I think it qualifies. From what I've read, this has had more of an influence on programming language designers/implementers (rust, possibly c++11, probably more), than on anybody else, though. edit: NULL -> NUL