Re: [stack] Re: Concatenative Research

John Nowak scripsit:

> > (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.

At the expense of being undecidable!

> Of course. The type system in Typed Scheme is particularly nice given
> its goals.

FWIU, Dialyzer and Soft Scheme are close variants of each other.

-- 
I am expressing my opinion.  When my            John Cowan
honorable and gallant friend is called,         [email protected]
he will express his opinion.  This is           http://www.ccil.org/~cowan
the process which we call Debate.                   --Winston Churchill