On Sun, 29 Jun 2003, Brent Kerby wrote: [...] ... always baffled ... Example: In a particular family there are children [peter paul mary] and pets [dup dip...
1556
Nick Forde
nickf42uk
Jul 2, 2003 9:10 am
Hi Russel, ... Some time ago I did a quick and dirty port of the C Joy interpreter to PalmOS. The interpreter's use of the C stack was the first thing I had to...
1557
sa@...
Jul 2, 2003 7:42 pm
there's another way to look at this behavior. if you want to avoid the appearance of naked operators on the stack, you can either quote them in some way...
1558
Tanksley, William D. ...
wtanksle
Jul 3, 2003 3:20 pm
From: sa@... [mailto:sa@...] ... In my opinion, the real problem here is the confusion in Joy between delisting and execution, and correspondingly...
1559
stevan apter
sa@...
Jul 3, 2003 3:43 pm
i've read this several times, and i'm still having trouble visualizing the proposal (probably because i spent the previous hour immersed in the adventures of...
1560
Tanksley, William D. ...
wtanksle
Jul 3, 2003 4:39 pm
From: stevan apter [mailto:sa@...] ... No suprise -- although I apologise. I've written that message three times and had it bounce twice, so I was getting...
1561
John Cowan
johnwcowan
Jul 3, 2003 4:49 pm
... We already can say "+" intern to push a raw + on the stack. You can even build up operator names this way: "p" "op" concat intern [] i will do a pop. -- ...
1562
stevan apter
sa@...
Jul 3, 2003 5:19 pm
... From: "Tanksley, William D. Jr." <william.d.tanksley.jr@...> To: <concatenative@yahoogroups.com> Sent: Thursday, July 03, 2003 12:39 PM Subject: RE:...
1563
Tanksley, William D. ...
wtanksle
Jul 3, 2003 6:29 pm
From: stevan apter [mailto:sa@...] ... Right. ... Almost -- I'm using a different syntax to quote, so you could write this as: 2 '[3 +] or: 2 [3 '+]. ... ...
1564
phimvt@...
phimvt
Jul 4, 2003 7:12 am
On Thu, 3 Jul 2003, Tanksley, William D. Jr. wrote: [..] ... You can at least get the appearance of this in Joy by suitable definitions: DEFINE squareq ==...
1565
Martin Young
venusian_1999
Jul 4, 2003 11:28 am
Curiously, or maybe not, Monkey already does something superficially quite similar to this but for different reasons: I wanted to add a simple type system to...
1566
Nick Forde
nickf42uk
Jul 4, 2003 12:56 pm
Martin Young writes: [lots of interesting Monkey details...] ... After reading Billy's mail last night I reached the same conclusion but also thought I must be...
1567
stevan apter
sa@...
Jul 4, 2003 1:49 pm
... From: "Nick Forde" <nickf@...> To: <concatenative@yahoogroups.com> Sent: Friday, July 04, 2003 8:55 AM Subject: RE: [stack] YACL - Yet Another...
1568
stevan apter
sa@...
Jul 4, 2003 1:52 pm
... From: "Martin Young" <martin@...> To: <concatenative@yahoogroups.com> Sent: Friday, July 04, 2003 7:28 AM Subject: RE: [stack] YACL - Yet...
1569
Nick Forde
nickf42uk
Jul 4, 2003 2:31 pm
... Sorry, my examples only included the top-of-stack in results. My intention was also that for atoms, dequotation would be that atom. Here's an example...
1570
stevan apter
sa@...
Jul 4, 2003 3:00 pm
... From: "Nick Forde" <nickf@...> To: <concatenative@yahoogroups.com> Sent: Friday, July 04, 2003 10:31 AM Subject: Re: [stack] YACL - Yet Another...
1571
Nick Forde
nickf42uk
Jul 4, 2003 3:35 pm
... Yes, new_i was meant for illustration only. I started writing a simple tokeniser but then realised that to be useful a full Joy parser would be required to...
1572
John Cowan
johnwcowan
Jul 4, 2003 8:14 pm
... I think that would he doesn't like is the formal identity of lists and quotations, which prevents the compiling of quotations. In older Lisps, functions...
1573
stevan apter
sa@...
Jul 4, 2003 9:17 pm
i think i have an argument for a distinct category of function objects, but it's regrettably convoluted, and i don't know if anyone will find it convincing. in...
1574
Russel Simmons
symstym
Jul 6, 2003 7:27 pm
Since the earlier discussion, I've been working on a prototype of a Joy interpreter that can execute 'incrementally', i.e. you can step a single O(1)...
1575
Tanksley, William D. ...
wtanksle
Jul 7, 2003 2:59 pm
From: stevan apter [mailto:sa@...] ... Wow. You've stated my problem formally and precisely: I want to be able to distinguish between programs and lists of...
1576
Tanksley, William D. ...
wtanksle
Jul 7, 2003 6:10 pm
From: Russel Simmons [mailto:symstym@...] ... This sounds a lot like the VM Henry Baker describes in his paper at < ...
1577
Tanksley, William D. ...
wtanksle
Jul 7, 2003 6:39 pm
From: phimvt@... [mailto:phimvt@...] ... You can get the reality of this in Joy by suitable definitions: DEFINE execute ==...
1578
sa@...
Jul 7, 2003 6:41 pm
From: stevan apter [mailto:sa@...] ... Wow. You've stated my problem formally and precisely: I want to be able to distinguish between programs and lists of...
1579
Tanksley, William D. ...
wtanksle
Jul 7, 2003 6:50 pm
From: sa@... [mailto:sa@...] ... Hm. Yes, I see other problems too -- for example, what's the shape of {3 2}? How about {3 + 3}? Shape doesn't seem...
1580
sa@...
Jul 7, 2003 7:38 pm
[billy said:] Hm. Yes, I see other problems too -- for example, what's the shape of {3 2}? How about {3 + 3}? and then there's [[*] times] and [[0 <] [*] [+ *]...
1581
Tanksley, William D. ...
wtanksle
Jul 7, 2003 9:01 pm
From: Martin Young [mailto:martin@...] ... I would have a general way to trasfer between the two. Oh, and I wouldn't call them "atoms"; by my...
1582
Tanksley, William D. ...
wtanksle
Jul 7, 2003 9:08 pm
From: stevan apter [mailto:sa@...] ... This is something Joy already can do. My Forth/Joy won't be able to do it at all: it won't have any way to decompile...
1583
phimvt@...
phimvt
Jul 8, 2003 6:25 am
... ???????? I don't see that at all. I have spent very little time thinking about how a compiler for Joy would work, but if it can compile the body of a...
1584
phimvt@...
phimvt
Jul 8, 2003 6:49 am
On Fri, 4 Jul 2003, Nick Forde wrote: [..] ... or: [ [char] "" cons intern [] cons i ] ( to allow for 'i and 'x and 'y to be consistently polymorphic...
