(I'm talking about the semantic model of Rust that is strong enough to use for proving *unsafe* code correct. It's possible that a syntactic type system in this style is much easier, and closer to prior work--but IMO this would be missing most of what makes Rust practical).
-
-
My theory is that many ideas are first proposed in too strong a form (a safe programming language with manual memory management! a type checker that works for any scheme code! a partial evaluator that generates a compiler!) and success is in scaling back to something workable.
-
But those scaled-back systems are harder to publish initially because they are, in a real sense, doing less than was originally proposed. And those examples all got published at not-top venues initially, and then became a big deal.
- 4 more replies
New conversation -
-
-
I don't agree with the first part of this take-- academics can create whole communities, running for decades, with very little adoption in practice of the ideas
-
Yeah, maybe it more has to do with having a champion in the field. Substructural type systems didn’t seem to have many champions in academia when Rust came on the scene.
- 5 more replies
New conversation -
-
-
The one decent review we got for the Rust paper basically said “well, substructural type systems are a failed idea, but people seem to be actually writing a lot of code in this language, so this is intriguing”
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Or bad/no marketing.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This. Many ideas that are excellent don't catch on for marketing, execution, or luck reasons, not because the ideas are flawed.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I also think the point you've made in the past, that switching languages is not much harder than switching tools, is relevant here.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.