Re:My favorite Rust function
by grenoire on Saturday October 12, 2019 @06:33PM
(#21236835)
Wow, elegant. This was probably conceived as an idea during the design phase of the language, it seems right.
[ Parent
| on HN ]
That same function appears on the second page of Philip Wadler's first Linear Logic paper, but it's called "kill" [1]
But I remember the words "drop" and "dup" being used since the early days of linear logic too. I believe they come from Forth, where they do pretty much the same thing! [2]
[1] http://homepages.inf.ed.ac.uk/wadler/papers/linear/linear.ps