Type Driven Thoughts 🦀 – Telegram
Type Driven Thoughts 🦀
232 subscribers
62 photos
1 video
117 links
Thoughts, jokes, articles about software engineering, type systems, sysprog, shiny new languages and of course Rust.

A personal channel of @eadventurous
Download Telegram
Mozilla's biggest contribution
Anonymous Poll
41%
Rust
59%
Firefox
Linus Thorvald's greatest contribution
Anonymous Poll
21%
Git
79%
Linux
Well, yeah, sort of... Though Liskov's Substitution Principle I would argue is purely about objects. But I feel like the principles are rather common and just need to be reformulated in a more general way. It's time we stopped considering OO as the only model that exists 😁.

https://t.co/yuP2yyF7TX?amp=1
Wishlisted.
Omg those evil Rust developers😁
I was reading through some thoughts of the Rust newcomers. And in general I think there is a bit of confusion.

Rust is not only about memory safety with lifetimes.

As it is mentioned at the https://www.rust-lang.org/ Rust main goals are reliability and efficiency.

Rust achieves these goals through many different language features and design patterns, and lifetimes are just a part of it. In fact they support the more general concept: ownership model.

Ownership model is undeniably a great helper in terms of reliability. Though lifetimes are just an implementation aspect of it, not the main focus.

In conclusion I would say when trying Rust it's better to go one by one through the book chapters, it tries to show all of the aspects of the language tying them to the corresponding language goals. Rust introduces many new concepts and though lifetimes are maybe the most well known of them, it is just one of the many.
"If we don't use metrics the imposters will win."
Forwarded from @yegor256 news (yegor256)
Media is too big
VIEW IN TELEGRAM
M167: When you deal with a weak and incompetent manager, who is not capable of finding a way to measure people's results objectively, you have to behave like an imposter. If you don't, somebody else will and the manager will think that this guy is the best guy in the team, no matter what are the actual achievements. Watch it.
There is a huge debate whether Rust needs optional arguments that can be omitted instead of using None. And as always here is a macro to do this😁.

Overusing macros is not good for many reasons and I don't think this crate should be used extensively. But for the sake of proving the fact, this can be easily supported by Rust compiler in the same generative way.

https://www.reddit.com/r/rust/comments/mu4x5k/optargs_011_functions_and_structs_with_optional
Rust Language Cheatsheet. It seems like a good reference to check your knowledge of Rust topics. Also might serve as a basis for Rust tech interviews I guess.

https://cheats.rs/
Not that I was planning to join the hype, but someone went and made an NFT of me😂. Actually quite good and the interesting fact is I was really doing Kendo for several years.

The NFT is a part of the pack that was made by some community members for some employees in our company. Never thought this good about the community 😅.
Wanted to publish this for a long time. It is an overview of different RwLock implementations for Async Rust. Actually the results were quite surprising for me. I assumed everywhere fair scheduling was used, but seems like it is not the case.

The overview is 1 year old, so some things might have changed. And I guess this needs more investigation. Though might serve as a reminder of how careful we should be with async for now, especially with locks.

https://www.reddit.com/r/rust/comments/f4zldz/i_audited_3_different_implementation_of_async/