[ecoeconomy]

The code is written using a dynamically typed language with no security guarantees so stuff like this is inevitable. Are there projects that leverage static typing to allow the creation of provably secure contracts?