Conversation

@edwinb@types.pl
@edwinbrady
I regularly have Rust envy, for all the reasons in this thread. Must steal more ideas.
Quote Tweet
Perry E. Metzger
@perrymetzger
·
I've discovered some people aren't aware of why Rust is a really cool programming language. They think it's just a strongly typed compiled language of some sort, which is true, but it doesn't really explain why it is interesting. 1/
Show this thread
5
130
James Wood
@laMudri
I know I should know a bit about Rust, but I've always been overfaced by their learning/reference material. Do they ever give a succinct presentation of a stripped-down version of the type system?
1
Brendan Zabarauskas
@brendanzab
The way Rust was developed was quite an experimental process, and it ended up with quite a monolithic type system at the end. Now that the dust as settled,
@aatxe
,
@nikomatsakis
, and others are now trying to figure out a simpler core to it all. Eg.
Quote Tweet
aaron
@aatxe
·
Had a great time at #POPL2019 last week! Happy to share that I won the Student Research Competition, and I've put all the materials (extended abstract, poster, slides) on my site (aaronweiss.us)!
Image of my poster on Oxide, a formal semantics for Rust
1
7