Comment by az09mugen

Wow, about Yao:

"In fact, it might be better said that Yao is meant to be:

As powerful as C, As flexible as Lisp, As easy as Python, As provable as Ada/SPARK, More reliable than Rust, With the time semantics of HAL/S."

Even if I don't really believe in this incredible statement, I'm really curious to see what can be the result.