Yeah, I'm not a big fan of the term defererencing. There ought to be a better word for following a reference.
(This question is of practical interect to me -- I'm currently designing a language that has a dereferencing operator deref() and am wondering what better name to give it.)
(This question is of practical interect to me -- I'm currently designing a language that has a dereferencing operator deref() and am wondering what better name to give it.)