On Sat, Oct 6, 2012 at 11:16 AM, Tim Chevalier <[email protected]> wrote:
> Hi, Eddy --
>
> Traits and impls in Rust are based on type classes, which originated
> in Haskell. You may find it interesting to read about type classes:
> "Type classes: exploring the design space" by Simon Peyton Jones, Mark
> Jones, and Erik Meijer, is a good start:
>
> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5674
>
> ("Interfaces" have been renamed to "traits" in the soon-to-be-released
> Rust 0.4 release, by the way; it looks like you may be looking at the
> docs from Rust 0.3.)
>
> Cheers,
> Tim
>

I'm about half-way through this paper, which is a great reference.  Thanks!

I'm curious if multi-parameter traits are anywhere on the rust
roadmap.  I'm not certain about which challenges or restrictions they
may require but perhaps by the time I finish this reference I'll have
a better understanding.

I'd recommend reading the paper if only to see motivating examples of
multi-parameter traits.

Regards,
Nathan

> --
> Tim Chevalier * http://catamorphism.org/ * Often in error, never in doubt
> "Gains in likability have deep costs in personal integrity." -- Kirk Read
> _______________________________________________
> Rust-dev mailing list
> [email protected]
> https://mail.mozilla.org/listinfo/rust-dev
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to