I'm just reading Yhc/Erlang/Proof of concept.

Perhaps some enterprising young student would take a stab at compiling Eiffel to BEAM? Then we'd get real concurrency.

Not a trivial task.