Re: [stack] Re: Concatenative Research

Chris Double <[email protected]> Tue, 8 Feb 2011 09:51:05 +1300

Newsgroups	gmane.comp.lang.concatenative
Message-ID	<[email protected]>

On Mon, Feb 7, 2011 at 5:53 PM, John Nowak <[email protected]> wrote:
> > (though, BTW, nobody has types "integer" and "nonzero integer" and
> > requires that the denominator of a division belongs to the latter type).
>
> Well, languages with dependent types can and do.

ATS does for example. From the prelude:

  idiv {i,j:int | j <> 0}
  (i: int i, j: int j):<> int (i/j)
  overload / with idiv

Chris.
-- 
http://www.bluishcoder.co.nz