But it has no (sound, complete) static typing!<p>Tbh, u think we kind of see a new generation here:<p>* Rust improved over C++ and C<p>* Julia improved over python<p>But if you take a closer look you see that neither actually approach the radical completeness of their actual competitors:<p>* Julia does not fully embrace its lisp heritage (I was told the developers where old lispers)<p>* Rust does not fully embrace Haskell's type discipline<p>So what do you think, is there enough room between rust and Haskell and Julia and lisp for yet another iteration?