[rust-dev] Dependent Type | Dependent Object Types
banderson at mozilla.com
Thu Jun 5 12:50:44 PDT 2014
I appreciate your enthusiasm, but please stop creating new threads that
simply suggest adding major new features to the type system. The vast
majority of type system features that might benefit Rust have been
discussed many times, in excruciating depth, for years.
On 06/05/2014 02:14 AM, Suminda Dharmasena wrote:
> Another aspect that can be considered is Dependent Types.
> Rust-dev mailing list
> Rust-dev at mozilla.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Rust-dev