←back to thread

Matt Godbolt sold me on Rust by showing me C++

(www.collabora.com)
611 points LorenDB | 2 comments | 06 May 25 17:51 UTC | HN request time: 0.427s | source
Show context
choeger ◴[07 May 25 06:42 UTC] No.43912866[source]▶
All this has been known in the PL design community for decades if not half a century by now.

Two things are incredibly frustrating when it comes to safety in software engineering:

1. The arrogance that "practitioners" have against "theorists" (everyone with a PhD in programming languages)

2. The slowness of the adoption of well-tested and thoroughly researched language concepts (think of Haskell type classes, aka, Rust traits)

I like that Rust can pick good concepts and design coherent language from them without inventing its own "pragmatic" solution that breaks horribly in some use cases that some "practitioners" deem "too theoretical."

replies(4): >>43913128 #>>43915349 #>>43916215 #>>43917609 #
1. sanderjd ◴[07 May 25 13:23 UTC] No.43915349[source]▶
Yep, this article is a good example of one way that c++ is bad, but it's not really a great example of rust being particularly good; many other languages support this well. I'm very glad Rust is one of those languages though!
replies(1): >>43917770 #
2. groos ◴[07 May 25 16:34 UTC] No.43917770[source]▶
I had the same thought - what Matt's examples required was strong typing and that has existed for very long time outside of the C family world.