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
Channel photo updated
Rust is famous for strictness in terms of memory management and error handling. But there is also a not very well known and to my mind a bit of a unnecessary stiffness in the type system when talking about trait specialization. Here is a minimal example, you don't not need to be an expert in Rust to understand it.

Basically rust compiler assumes that in the future there might be a type that implements both A and B and therefore this will create a conflict. To my mind this is not needed as this can be intentional design that the traits A and B are not planned to be implemented at the same time.
Currently this can be solved by wrapper type pattern and boxing. But surely this is not very elegant. Hopefully language design team will fix it with specialization, though it is still uncertain when this feature is planned to be released.
Wow someone actually believes Java is underrated. Well then I guess if it was properly rated 100% devices would be running Java?😅
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.