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