Rust
Fear Not The Association of Types
Elsewhere: HN
- Stuff the Identity Function Does
- Feasible functors in Rust
- A definitive guide to sealed traits in Rust
-
De-bait-ed: Experience Writing an Intrusive Linked List in Rust.
-
De-bait-ed: Problems with
core::io::BorrowedBufin Rust nightly. - Read the Code: Using Drop Safely in Rust
Computer Science
Ad-Hoc Polymorphism
Fear Not The Association of Types
Elsewhere: HN
Ad-hoc polymorphism erodes type-safety
Commentary: On Ad-hoc Polymorphism and Type Safety
-
Inline Commentary:
The author gripes about the orphan rule in Rust, needed for coherence in the trait system, instead opting for "evangelizing implicits and local coherence". However, throughout the post I think the author actually illustrates the problems of implicits and in a way ends up promoting the solution opted by Rust. The HN and Lobsters discussions are informative and worth reading.
- Coherence and crate-level where-clauses