A deep dive on ABI design tradeoffs, and how Swift approached the problems in this space;
https://gankra.github.io/blah/swift-abi/
(Compared with C++/Rust, it avoids monomorphisation and does more boxing, with attention to details that affect performance)