<div dir="ltr">On Fri, Feb 6, 2015 at 12:08 AM, Paulo Pinto via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span> wrote: <div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">For example no need to check if a variable is inside a specific range, if the type only allows that range.<br>
<br><br></blockquote><div><br></div><div>Are you referring specifically to Ada here? Otherwise, how would ML-based languages allow for this in a way that your traditional OO languages would not?<br><br><br clear="all"></div><div><div><div class="gmail_signature">--<br>Ziad</div></div> 
<br></div></div><br></div></div>