3 ms·

Rust is a welcome addition to the global language toolbox but I feel is mostly a mirage in terms of future breakthroughs in the language / programming space: It

Rust is a welcome addition to the global language toolbox but I feel is mostly a mirage in terms of future breakthroughs in the language / programming space: It still falls under the "formal methods / program correctness" paradigm which has led people astray for decades. Like Gerald Sussman proclaiming (talking about Haskell): "This is the most advanced of the obsolete languages!" Watch this talk: https://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute https://www.infoq.com/presentations/We-Really-Dont-Know-How-... Another great talk on the subject (also the biological model of dealing with complexity) is Alan Kay's "Programming and Scaling".

quectophoton 3y ago
And still for all the focus on projecting safety and trust of the compiled programs, you'd think it would be relatively easy to compile `rustc` from source so that people and Linux distros don't need to trust the `rustc` from the GitHub repository. But unfortunately you need to do a gazillion compilation steps if you want to build the latest `rustc` from scratch. I honestly can't wait until gccrs is good enough to allow us take a shortcut and be able to bootstrap a `rustc` in a reasonable amount of time and steps.