As funny as it might sound, you should try Node then.
Single threaded. Concurrency via processes, impossible to share state. And, among the more efficient dynamic languages out there now due to the browser performance race.
There's a slippery word if ever I saw one. Does Java count? Python? C? You could make arguments for all, or none, of these depending on what "proper" is.
I said "properly" to avoid confusion, but it probably only increased it. Java is not a strictly compiled language, since it still uses JVM. Most modern dynamic languages aren't purely interpretive and they use various techniques (like JIT) which make them closer to compiled, but they are still not "properly" compiled in a sense. That's what I meant above.
Which language doesn't have these options? This could be a description of Bash.