[rust-dev] Dependent Type | Dependent Object Types

Kevin Cantu me at kevincantu.org
Thu Jun 5 21:42:27 PDT 2014


Rust is likely to be a great platform on which to implement such new
languages, eventually, though.  Be patient.  :D

Kevin
On Jun 5, 2014 12:50 PM, "Brian Anderson" <banderson at mozilla.com> wrote:

>  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 listRust-dev at mozilla.orghttps://mail.mozilla.org/listinfo/rust-dev
>
>
>
> _______________________________________________
> 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/ac6dc8be/attachment.html>


More information about the Rust-dev mailing list