It should be as easy as possible to develop. But as strict as possible to ensure correctness. Practically it will be at least as hard as creating the same contract.

I chose strict languages, not assembly.