> not really a fair comparison since erlang is a fully fledged operating system (joke).

Oh, Robert Virding told me once the plan was to make it essentially an OS. So, it's only a joke in the "Ha ha but seriously" sense.

Lisp also fits all those criteria and is quite efficient, but it developed under different design constraints.