Live data from Hacker News

Rust is Software's Salvation

redox-os.org

181–182 of 182 posts

Re: Rust is Software's Salvation

#181
post #99

Earlier quoted context omitted.

yea, one of the reasons python gained traction was it being used in alot of cs101 classes. I wouldnt use rust, but I have used go just to learn

What about Pascal, isn't it still more widely used in cs101 than anything else? And yet, no traction.

It had lots of traction in the 80's up to the late 90's, with Turbo Pascal being the most successful compiler in use, up to when Borland decided to go berserk and scare everyone away with their lack of focus on how to do business.

Re: Rust is Software's Salvation

#182

Earlier quoted context omitted.

Again, I get where you are going with this. Rust isn't the only solution. There are mechanisms that can be used in C++ to make a program memory safe by construction. I'm not even saying that Rust isn't a good solution. (I am saying I don't like the syntax...I'm sure I could get used to it at some point.) I just get very wary when something has this kind of "evangelism" behind it. That's all. I'm really looking forwar…

Would you mind sharing other "correct by construction" ideas/references/libraries you know ?

I was mainly talking about the C++ Guideline Support Library and GSL profile "checkers" that have been in process for the last couple of years.

https://blogs.msdn.microsoft.com/vcblog/2015/12/03/c-core-gu...

https://github.com/Microsoft/GSL

https://www.youtube.com/watch?v=JfmTagWcqoE

Post reply on HN