Re: [stack] Re: Concatenative macros?

"William Tanksley, Jr" <[email protected]>
Newsgroups gmane.comp.lang.concatenative
Message-ID <[email protected]>
stevan apter <[email protected]> wrote:
> > Construct 'i':
> > 00101 0011 1 =
> >    [] q k =
> >    i

> i think this should be
> 00101 0011 1 1 =
>     [] q k k

[A] [] q k k =
[[A]] [A] k k =
A k

Too many k's.

What might be messing things up is how you treat the [A B] term in the
result of 'q'. In this quotation, [A] is [], which means that A must
be nothing. It's kind of (severely) wierd, but that's how it works.
Does your interpreter act that way?

> i've posted an interpreter for 01 at:
>     http://www.nsl.com/k/01.k

You are amazing. :-)

-Billy
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.