om While I'm pleased that my "forthski Vs. Joy" inquiry generated such a healthy discussion, I am disappointed that it doesn't seem that the question was...
Dear friends As you know from my last posting, I have been on a long once-in-a-decade holiday. Now I am back at work, and will respond to the concatenative...
Manfred von Thun
phimvt@...
Jul 9, 2002 1:30 am
1147
... [..] The dip combinator dives underneath the top of the stack, does something there and finally restores that under which it dived (dove?). I was initially...
Manfred von Thun
phimvt@...
Jul 9, 2002 1:51 am
1148
I just finished adding continuations to Meta/4 and I was wondering what other people think of them. I'm also wondering if anyone thought of a different way to...
... Correction - due to tail call optimization this should be 1 cont (which is the same as exit really). Although cont could be defined as a macro that...
... part of what people can use. See mlg's work on continuations, backtracking, and coroutines in Forth to see the power of an open return stack. ... want to...
... multiple ... work: if ... not ... unwinds ... Seems I messed that up. ... onto ... that ... numbers ... takes a ... Meta/4 ... almost ... specific ... is...
From: "e1_t" <e1_t@...> ... I wish I'd thought of that -- great idea. So you're saying that ";" would be like Forth's "[']"? This wouldn't be as powerful...
... would be like Forth's "[']"? ... Well sort of. Only when it's used from within other code stacks. Normally a word is defined as [ code ] " word" ; If ; is...
Ignore my last post. I wasn't thinking when I wrote that heh - it would work but there are heaps of problems with that approach. I might in the end have to...
... I am VERY impressed. This is a huge piece of work. Very professional. Thank you very much. As soon as I can I shall go through it in detail. ... Yes,...
Manfred von Thun
phimvt@...
Jul 17, 2002 6:07 am
1158
I have been reading this discussion with considerable interest, although I could not follow the details properly. Do you have any particular kinds of...
Manfred von Thun
phimvt@...
Jul 17, 2002 6:40 am
1159
From: Manfred von Thun <phimvt@...> ... I plan to brag: "Joy, unlike your favorite language, supports continuations!" ;-) ... They're also...
From: "e1_t" <e1_t@...> ... This is very limiting as well; the main problem is that it's enormously complex. Why not just define a word which returns the...
... possible ... stack ... enormously ... string as an I don't think it's limiting but like I said in my last post - there are heaps of problems with this...
... [Q&A about continuations] ... Yes. I know that this is useful in imperative languages, and (I imagine) behind-the-scenes implementation of functional ...
Manfred von Thun
phimvt@...
Aug 16, 2002 6:34 am
1163
... The reason to introduce the L stack was: 1. words can call continuation, that is, transfer control forward leaving the address-to-backtrack on the return...
... foo =/= bar foo == [r bar EXIT '] where [r ... '] stand for return stack nesting. Ok, we can have a language with the notation borrowed from mlg's ...
... the ... is ... programmer ... return ... that - ... I don't have your papers or the time right now to remind myself of how it all works and what || does...
The last while I've been doing some reading on reversible computing systems. It's quite a fascinating idea, really; you all might like to look at Mike Frank's...
Brent Kerby
iepos@...
Aug 21, 2002 12:57 am
1167
After a bit more thinking about this, a few more thoughts surfaced ... First, I probably didn't clearly explain the whole point of the reversibility idea. The...
Brent Kerby
iepos@...
Aug 21, 2002 5:41 pm
1168
On Wed, 21 Aug 2002, Brent Kerby wrote: [..lots of good stuff about reversible operations in a Joy-like language] Legend has it that in the 20's one of the...
Manfred von Thun
phimvt@...
Aug 23, 2002 2:12 am
1169
On Fri, 23 Aug 2002, Manfred von Thun wrote: [..] ... Here is a reasonable notation to use for the rules and for tracing the forward and reverse execution....
Manfred von Thun
phimvt@...
Aug 26, 2002 4:00 am
1170
... The main advantage I see of this "reversal stack" idea is that it allows irreversible programs to become reversible, simply by changing the interpretation...
Brent Kerby
iepos@...
Aug 26, 2002 4:11 pm
1171
Is anyone using Joy for real-world applications? If so, what are some of these? Asim...
Asim Jalis
asimjalis@...
Aug 26, 2002 6:21 pm
1172
... allows ... essence, all ... but instead ... new "zap" ... stack. ... they've always ... this kind ... consuming ... writing a loop ... done using ... The...
... Someone please correct me if I'm wrong but I don't think anyone is using Joy for any serious applications right now. I'm sure many members of this message...
... The way I see it, it doesn't really matter fundamentally whether the garbage is forced to be kept on the main stack, or on a garbage stack (i.e., where ...
