Standard ML. The implementations and the standard library situation both need a lot of work, but the language itself is by far the cleanest and most practical very-high-level language I've encountered.