Short note on "quotienting" (was: Comments requested)

Brian T Rice water@tunes.org
Wed Mar 19 18:56:02 2003


Correcting a few errors...

On Wed, 19 Mar 2003, Brian T Rice wrote:
> On Sat, 15 Mar 2003, Joerg F. Wittenberger wrote:
> "answers to the equation a * x = b for all Integers a and b"

"all" should be "any". And "answers" should be "All answers". This should
be intuitive, but I just wanted to get it right.

> > > Of course Joy, as is now, doesn't have such feature (quotienting),
> > > much less at run-time (but I guess it's less difficult to add quotienting
> > > in Joy than in other system, indeed in virtue of quotation and the absence
> > > of variables).
> >
> > Though I also don't really know what variables where good for, I have
> > to admit that I don't kow anything about Joy.  And my day job won't
> > permit getting that any time soon.  Short examples would be welcome.
>
> I think the only example for Joy is that code and lists are treated
> somewhat identically, since in Joy code has this shape. I wouldn't read
> too much into that.

Actually, on a second, very thorough reading of the mail you replied to, I
realized that what was meant was "equational substitutability" which in
Joy is fairly realizable but not very abstract. It's still not a terribly
great example. Maude barely approaches an abstract way of doing this, but
still needs work to get what we want.

-- 
Brian T. Rice
LOGOS Research and Development
mailto:water@tunes.org
http://tunes.org/~water/