Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

I really hope for better languages than Rust in the future, but I find it disappointing to see how the majority of the new systems langs have ditched memory safety by default. :(

Replying to

and

There's lots of lessons we should be learning from Rust, but ‘it's fine to put memory safety on the TODO list’ seems like a… weird thing to take away outside of very specific use cases.

7:47 AM · Jul 23, 2022Twitter Web App

Likes

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Brendan Zabarauskas

@brendanzab

Jul 23

please I just want a cute type theory based systems PL with nice support for allocators and effects+coeffects and memory safety by default… also nice modules… is it so hard??? oh wait yeah it probably is 😔

Replying to

and

When people criticize Rust's complexity, the response is often to depict this as ignorant because *of course* all the major complexity in Rust follows naturally from its requirements and ... I kinda wonder how much that has to do with it :-\

crow emoji

@glaebhoerl

Jul 23

Like. All new systems languages should be memory safe. Or it's not possible to do high-control / low-overhead memory safety in a simpler or substantially different way from Rust. Pick at most one, I think.

Show replies