First off, I have to tell you about this post, Trivia About Rust Types, by Jon Gjengset, an authorized transcription of a Twitter conversation. Fun, right?
Did you know you can simulate Function Overloading in Rust? You can’t unsee it!
Did you know serde traits can be squeezed into a version of dyn-compatibility?
I didn’t until I had occasion to write Exploring Traits with Erased ‘serde’.
Strong typing is good. Here’s A Strong Typing Example.
And here’s some practical problems I ran into, with one particular Rust type in Walk-Through: Prefix Ranges in Rust, a Surprisingly Deep Dive, and with the Rust trait system in general with A Little Rust Trait Limitation---a real bug I ran into in production.
I’ve also written about Endianness, API Design, and Polymorphism in Rust, on how Rust does endianness better than C++. This definitely goes with Endianness, and why I don’t like htons(3) and friends, which doesn’t have much to do with Rust at all, but where else to put it?