The less the language lets you do, the easier it is to analyze and prove properties of a contract.A hacker stole $31M of Ether β how it happened, and what it means for EthereumHaseeb Qureshi9.6K153Abraham SammaBlockedUnblockFollowFollowingJul 21, 2017ππ