<p dir="ltr">Rust is likely to be a great platform on which to implement such new languages, eventually, though.  Be patient.  :D<br></p>
<p dir="ltr">Kevin</p>
<div class="gmail_quote">On Jun 5, 2014 12:50 PM, "Brian Anderson" <<a href="mailto:banderson@mozilla.com">banderson@mozilla.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    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.<br>
    <br>
    <br>
    <div>On 06/05/2014 02:14 AM, Suminda
      Dharmasena wrote:<br>
    </div>
    <blockquote type="cite">
      <div dir="ltr">Hi,
        <div><br>
        </div>
        <div>Another aspect that can be considered is Dependent Types.</div>
        <div><br>
        </div>
        <div>S</div>
      </div>
      <br>
      <fieldset></fieldset>
      <br>
      <pre>_______________________________________________
Rust-dev mailing list
<a href="mailto:Rust-dev@mozilla.org" target="_blank">Rust-dev@mozilla.org</a>
<a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a>
</pre>
    </blockquote>
    <br>
  </div>

<br>_______________________________________________<br>
Rust-dev mailing list<br>
<a href="mailto:Rust-dev@mozilla.org">Rust-dev@mozilla.org</a><br>
<a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
<br></blockquote></div>