[rust-dev] Dependent Type | Dependent Object Types

Brian Anderson 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:
> Hi,
>
> Another aspect that can be considered is Dependent Types.
>
> S
>
>
> _______________________________________________
> Rust-dev mailing list
> Rust-dev at mozilla.org
> https://mail.mozilla.org/listinfo/rust-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140605/dc837a30/attachment.html>


More information about the Rust-dev mailing list