Comment by kev009

The core is written in Rust which is at least as strong as ML.

The bug was in the contract language, https://solidity.readthedocs.io/en/develop/