@michalfita @nullagent I beleive you, but I really can't tell the same for most Rust programmers, I have literally never met a single rustacean that by any chance happen to know that #Ada even exists! And there are affine types (similar to Rust's borrow checker) in SPARK 2014! And it has much-much more if you actually care about bug-free code. One of it is readable syntax.