Mainstream languages are just not designed for smart contract programming

Well neither is solidity. If they had maybe talked to someone who understands contracts prior to creating the language, they would not be in this mess.