Skip to content
Do you have adblock enabled?
 
If you can read this, either the style sheet didn't load or you have an older browser that doesn't support style sheets. Try clearing your browser cache and refreshing the page.

(Some Guy)   Rust team wants to formalize their type: smart, shy, and not too crazy. Their reasons are murky at best   (devclass.com) divider line
    More: Followup, Programming language, Compiler, Formal specification, Code, Rust team, Consciousness, Intermediate representation, Type system  
•       •       •

746 clicks; posted to STEM » on 29 Jan 2023 at 11:20 PM (8 weeks ago)   |   Favorite    |   share:  Share on Twitter share via Email Share on Facebook



10 Comments     (+0 »)
View Voting Results: Smartest and Funniest
 
2023-01-29 3:26:38 PM  
Why should Rust follow formal industry standards? It's both easier and cheaper if we don't. - Alec Baldwin, probably
 
2023-01-29 3:46:26 PM  
Rust is one very good idea surrounded by a poorly designed language.

When I was learning it, I got to the point where the book says "A common mistake made by Rust programmers is..." and I wanted to throw the book against the wall. If the language commonly misleads the programmer into mistakes, that's a big problem. As Tony Hoare wrote, "The language's designer is responsible for errors commonly made by its programmers."
 
2023-01-29 7:03:38 PM  

HugeMistake: Rust is one very good idea surrounded by a poorly designed language.

When I was learning it, I got to the point where the book says "A common mistake made by Rust programmers is..." and I wanted to throw the book against the wall. If the language commonly misleads the programmer into mistakes, that's a big problem. As Tony Hoare wrote, "The language's designer is responsible for errors commonly made by its programmers."


Yep. To me, Rust is one of the more difficult ones to master well enough to mentally structure how I should develop the application using it's peculiar design. As opposed to C, C#, C++, I've found it more difficult to be reasonably good at it.
 
2023-01-29 8:21:53 PM  
Rust was designed with one objective in mind:  To piss off anyone who is actually experienced in C/C++ pointer math, by holding their hand like you are six years old and never letting the f*** go of it.

Their superfluous parenthesis thing is dumb.  And I wish they would enforce immutables like Scala.

However, I was willing to put up with Rust for the Nom parser, that thing is a hot rod for AST modeling.
 
2023-01-29 11:42:41 PM  

yahyahyah: Why should Rust follow formal industry standards? It's both easier and cheaper if we don't. - Alec Baldwin, probably


Knit one, Perl two point oh.
 
2023-01-29 11:43:56 PM  

buckwebb: HugeMistake: Rust is one very good idea surrounded by a poorly designed language.

When I was learning it, I got to the point where the book says "A common mistake made by Rust programmers is..." and I wanted to throw the book against the wall. If the language commonly misleads the programmer into mistakes, that's a big problem. As Tony Hoare wrote, "The language's designer is responsible for errors commonly made by its programmers."

Yep. To me, Rust is one of the more difficult ones to master well enough to mentally structure how I should develop the application using it's peculiar design. As opposed to C, C#, C++, I've found it more difficult to be reasonably good at it.


...and I'm done. Absolutely, on all counts, but I agree most particularly on the bolded quote. Rust isn't the only late-breaking lingo to do that, but, goddamn, it could've done a better job.
 
2023-01-29 11:45:00 PM  

studebaker hoch: Rust was designed with one objective in mind:  To piss off anyone who is actually experienced in C/C++ pointer math, by holding their hand like you are six years old and never letting the f*** go of it.

Their superfluous parenthesis thing is dumb.  And I wish they would enforce immutables like Scala.

However, I was willing to put up with Rust for the Nom parser, that thing is a hot rod for AST modeling.


Meh. Tolerating a crazy date because of her lingerie does not a relationship make.
 
2023-01-29 11:52:39 PM  
Sounds like they want to be a shiatty  company.
 
2023-01-30 12:33:13 AM  
Rust is old, Zig is where its at.

Is This NEW Language BETTER Than Rust? C++? (Zig First Impressions)
Youtube zFELcHTki9U
 
2023-01-30 7:51:35 AM  

studebaker hoch: Rust was designed with one objective in mind:  To piss off anyone who is actually experienced in C/C++ pointer math, by holding their hand like you are six years old and never letting the f*** go of it.


Yep. Rust will enforce its rules even when the most basic of static flow analysis shows it shouldn't, for example a borrow inside unreachable code will be flagged as an error.

When I was trying to learn the thing (I gave up) I found that the Stack Overflow forums were awash with people asking "here is a perfectly sensible, safe, and valid thing I want to do; how do I manipulate the Rust syntax to get it to let me do it?".

That's not a good sign that the central idea is soundly implemented.
 
Displayed 10 of 10 comments

View Voting Results: Smartest and Funniest

This thread is closed to new comments.

Continue Farking




On Twitter


  1. Links are submitted by members of the Fark community.

  2. When community members submit a link, they also write a custom headline for the story.

  3. Other Farkers comment on the links. This is the number of comments. Click here to read them.

  4. Click here to submit a link.