> If they prove the language maybe they can implement a different backend.

This is very true and might happen in a far future.