It seems to me.EOS will support WASM and compiling from C++ and Rust to WASM.
Rust is a very interesting language in the context of smart contracts. Very similar to Python with exactly the right additional features. That means easy to use and computationally safe. It's designed for concurrent processing.
zero-cost abstractions
move semantics
guaranteed memory safety
threads without data races
trait-based generics
pattern matching
type inference
minimal runtime
efficient C bindings