Create a Turing-complete contracts language
Scilla isn’t Turing-complete.
Create also a Turing-complete contracts language (namely by modifying Scilla and compiling with different compiler flags and/or a pragma).
It is because Turing-complete languages are undoubtfully useful for general-purpose blockchains and we should compete with Ethereum better in as many aspects as we can.
- Widen our problem domain.
- “It can be used for creating insecure contracts.” If one does want to create an insecure contract, he or she can do this anyway.