Possibly, but it's not particularly well-trodden ground (I think Ur/Web might have something like it?).
And would you really want to write `HashMap<Key: int, Value: ~str>`? On Mon, Feb 3, 2014 at 6:34 PM, Matthieu Monrocq <[email protected] > wrote: > > > > On Mon, Feb 3, 2014 at 8:41 AM, Gábor Lehel <[email protected]> wrote: > >> On Mon, Feb 3, 2014 at 7:55 AM, Corey Richardson <[email protected]>wrote: >> >>> Default typarams are awesome, but they're gated, and there's some >>> concern that they'll interact unpleasantly with extensions to the type >>> system (most specifically, I've seen concern raised around HKT, where >>> there is conflicting tension about whether to put the "defaults" at >>> the start or end of the typaram list). >>> >> >> Just for reference, this was discussed here: >> https://github.com/mozilla/rust/pull/11217 >> >> (The tension is essentially that with default type args you want to put >> the "least important" types at the end, so they can be defaulted, while >> with HKT you want to put them at the front, so they don't get in the way of >> abstracting over the important ones.) >> >> > Thinking out loud: could parameters be "keyed", like named functions > arguments ? If they were, then their position would matter little. > > -- Matthieu > > >> _______________________________________________ >> 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
