While I'd also prefer something with more verifiable and with more expressive power as well, it's pretty wrong to suggest that "procedural" is somehow not what

While I'd also prefer something with more verifiable and with more expressive power as well, it's pretty wrong to suggest that "procedural" is somehow not what will come of any code that relies on OO. Monads sequence code too. And while I think most smart contract languages are bug-ridden disasterpieces, it IS possible to test them thoroughly. The problem is that most folks in the blockchain space, particularly contract author's, simply have no experience dealing with the difficulties of distributed, public facing systems. We see these problems over and over again.