Hermes

A programming language for the construction of highly reliable, large-scale distributed systems; one of the first secure, imperative languages, it features threads, relational tables, typestate checking, capability-based access, dynamic configuration: … Hermes uses typestate in a powerful way that eliminates the need for garbage collection.