On Fri, Feb 6, 2015 at 12:08 AM, Paulo Pinto via Digitalmars-d < [email protected]> wrote:
> For example no need to check if a variable is inside a specific range, if > the type only allows that range. > > > 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? -- Ziad
