[rust-dev] GADT

Steve Klabnik steve at steveklabnik.com
Wed Jun 4 09:26:58 PDT 2014

We'd love to have more advanced type system features (I'm looking
forward to HKT myself), but the focus right now (seems to be) is
cutting out everything that needs to be cut before 1.0. We can add
neat new things after.

More information about the Rust-dev mailing list