Hacker News Reader

Syntax like @T was actually a type in ancient Rust. People really, really hated having even more sigils in the language, so we ended up removing them. There was also ~T.

IIRC, one of the sigils was for reference counting, and there was to be another one for garbage-collected types?

(I'm recalling the lunch conversations from when I sat in the room with all the Rust interns).

@T was supposed to be a GC'd type, but ended up being a refcounted type. It was removed before it actually turned into a GC'd type.

~T was Box<T>.

However, one issue here was that they didn't compose in the same way as types today; ~str existed, for example, but was not the exact same as String in terms of memory layout. Conceptually they're the same thing though.

Can use `impl Trait` I think?

``` fn foo(s: impl AsRef<str>) ```

Massive turbofish! :-D