"We need a new language with strong principles. Possibly won’t be so easy to code, but won’t be easy to abuse too."
That sums it up nicely.
I like the idea of solidity that it's easy to adopt and also it can do many things.
Is it feasible to have 2 layers? So solidity or some language like it for logical tasks like, isTokenHolder(), getBalance() etc etc... but when dealing with any contract code that involves dealing with moving funds/ changing balances etc there should be some other more rigid (lower level?) framework to access these.
Kind of like financial smart contract instruction set?