On Sun, Feb 02, 2014 at 10:30:51AM +0100, Benjamin Herr wrote: > ... while C# apparently compromises and puts the type parameters between > the function name and value parameter list, but leaves the bounds for > later: > > public static bool Contains<T>(IEnumerable<T> collection, T item) > where T : IComparable<T>;
I have actually been meaning to suggest this for Rust, most likely as an addition to the current syntax. The reasoning is that if we were to generalize our traits into the equivalent of Haskell's "multi-parameter type classes", there are things that the current syntax cannot express. Also I think it reads better if there are many bounds. But I'll expand in a separate e-mail, rather than tying the discussion to this thread, which is about Corey's proposal. Niko _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
