Re: [stack] Re: Concatenative macros?

iepos <[email protected]> wrote:
> Billy and all,

> Sorry for taking so long to respond to this. When I first read your
> email, the server hosting Chris Okasaki's paper was apparently down.
> And then for a couple weeks I forgot to come back and try it again. I
> must say -- What he's accomplished is pretty cool.

I agree -- and it was both instructive and reasonably fun to read.

> I want to respond to your second question first; hopefully this will
> in turn shed some light on the relationship between flat
> concatenative systems and Okasaki's and Barker's work.

Indeed it did! I especially appreciate you including your reasoning.
Not only do I know how to construct the language I wanted, I also
understand a bit more about how to think about that type of problem.
Thank you!

I'm also amused by your choice of 'o' and 'i' as combinators,
considering that I mentioned that I was going to use 0 and 1 bits to
represent them. Way back in my school career I took a typing class in
which we were taught that upper case 'i' and 'o' could be typed
instead of 1 and 0. (My community college was always a bit behind the
technology curve; I'm not actually that old. Yes, my Fortran class
taught me how to use punchcards, even though I've never set hands on a
punchcard reader and never will use one.)

The rest snipped for now... I'm going to try some constructions based
on your and Fokker's work (not his combinator, just the way in which
he derived it) to assure myself that I understand this.

Thank you!

> - Brent

-Billy