Hacker News Reader

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

Strictly speaking, the bug was not in the language itself, but in a specific contract's code.

Looks like it needs some work, anyway:

The language and the underlying EVM code worked exactly as intended. The bug was in the contract written by Parity.