Blog nit #67
Description
Sorry for abusing this issue tracker, but I don't know how else to reach you as I'm not on Twitter.
This nice article contains a link to Hylo on the words ”everything is a copy,” but that's not at all an accurate characterization. In Hylo, all copies are explicit and what we refer to (and write) as pass-by-value is functionally what a Rust programmer would think of as a pass-by-immutable reference. It's semantically equivalent to a pass-by-copy if the type is copyable, so you can think in terms of independent copies, but no actual copying happens unless you ask for it. In other words, the basic functional model is the same as Rust's; we just encourage a different mental model.
HTH