Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Getting Started with Tokio

lukesteensen.com

Post reply on HN
Print view View original

21–22 of 22 posts

Re: Getting Started with Tokio

#21

Post by thinkpad20 »

Rusky wrote: post #17
thinkpad20 wrote: post #16

Earlier quoted context omitted.

> use the nightly-only "-> impl Trait" Can someone point me to more info on this? Possibly akin to existential types in Haskell?

It's not really existential types in the general sense. A function returning `impl SomeTrait` can still only return values of a single type, it's just that the compiler infers that type from the function body and then restricts the caller to accessing that value via the methods in `SomeTrait`.

Yeah that's what I was thinking; e.g. in Haskell you can use existential types to refer to "some type which implements this type class", and then an object of that type will have the functions in that type class available to it and no others (more or less). Cool that rust has this as well, I'm excited to learn about it.

Re: Getting Started with Tokio

#22

Post by Rusky »

thinkpad20 wrote: post #21
Rusky wrote: post #17

Earlier quoted context omitted.

It's not really existential types in the general sense. A function returning `impl SomeTrait` can still only return values of a single type, it's just that the compiler infers that type from the function body and then restricts the caller to accessing that value via the methods in `SomeTrait`.

Yeah that's what I was thinking; e.g. in Haskell you can use existential types to refer to "some type which implements this type class", and then an object of that type will have the functions in that type class available to it and no others (more or less). Cool that rust has this as well, I'm excited to learn about it.

Rust has something else more general that's much closer to existentials- you can use trait objects to erase a value's type and restrict methods on it to those in the trait.

The difference between trait objects and `impl Trait` is that trait objects can hold any value that implements a trait, since they're implemented via dynamic dispatch.

Post reply on HN